IRIS Institutional Research Information System

4.1 Contributo in Atti di convegno: [7941] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 6.201 a 6.220 di 7.941
Titolo Data di pubblicazione Autore(i) File
A System for Multi-Level Reasoning 1-gen-1992 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Paolo, Pecchiari
Navigation by Combining Reactivity and Planning 1-gen-1992 Cimatti, Alessandro; Traverso, Paolo; Sandro, Dalbosco; Armando, Alessandro
Reflective reasoning with and between a declarative metatheory and the implementation code 1-gen-1991 Giunchiglia, Fausto; Traverso, Paolo
Automating meta-theory creation and system extension 1-gen-1991 David, Basin; Giunchiglia, Fausto; Traverso, Paolo
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem 1-gen-1992 Armando, Alessandro; Enrico, Giunchiglia; Traverso, Paolo
Programming Planners with Flexible Architectures 1-gen-1992 Cimatti, Alessandro; Traverso, Paolo; Luca, Spalazzi
Implementing planning as tactical reasoning 1-gen-1992 Luca, Spalazzi; Cimatti, Alessandro; Traverso, Paolo
A knowledge based system for automatic 3D scene generation 1-gen-1992 Traverso, Paolo; Armando, Alessandro; Enrico, Giunchiglia
Building planners with explicit control mechanism 1-gen-1992 Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Enrico, Giunchiglia
Program Tactics and Logic Tactics 1-gen-1994 Giunchiglia, Fausto; Traverso, Paolo
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 1-gen-2001 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Beyond the single planning paradigm: introspective planning 1-gen-1992 Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi
Service Oriented Computing: A Research Roadmap 1-gen-2005 M. P., Papazoglou; Traverso, Paolo; S., Dustdar; F., Leymann; B., Kramer
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 1-gen-2002 M., Aiello; Mike P., Papazoglou; J., Yang; Carman, Mark James; Pistore, Marco; Serafini, Luciano; Traverso, Paolo
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 1-gen-2005 U., Kuter; D., Nau; Pistore, Marco; Traverso, Paolo
ASTRO: Supporting the Composition and Execution of Web Services 1-gen-2005 Trainotti, Michele; Pistore, Marco; Calabrese, Gaetano; Zacco, Gabriele; P., Lucchese; F., Barbon; Bertoli, Piergiorgio; Traverso, Paolo
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 1-gen-2006 Pistore, Marco; L., Spalazzi; Traverso, Paolo
Specifying Data-Flow Requirements for the Automated Composition of Web Services 1-gen-2006 Marconi, Annapaola; Pistore, Marco; Traverso, Paolo
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 1-gen-2006 Trainotti, Michele; Pistore, Marco; F., Barbon; Bertoli, Piergiorgio; Marconi, Annapaola; Traverso, Paolo; Zacco, Gabriele
Automated Web Service Composition by On-The-Fly Belief Space Search 1-gen-2006 Bertoli, Piergiorgio; Pistore, Marco; Traverso, Paolo
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 6.201 a 6.220 di 7.941
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ...7940
Autore
  • Cimatti, Alessandro260
  • Remondino, Fabio256
  • Negri, Matteo204
  • Margesin, Benno203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo180
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa2
  • 2020 - 20271564
  • 2010 - 20193439
  • 2000 - 20092320
  • 1990 - 1999567
  • 1980 - 198948
Editore
  • IEEE620
  • Springer357
  • ACM148
  • Association for Computational Lin...91
  • CEUR-WS.org72
  • IEEE Computer Society61
  • SPIE60
  • ACL38
  • AAAI Press37
  • ieee31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO...98
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • POS PROCEEDINGS OF SCIENCE22
  • JOURNAL OF PHYSICS. CONFERENCE SE...21
  • PROCEEDINGS OF SPIE, THE INTERNAT...17
  • PROCEEDINGS14
  • CEUR WORKSHOP PROCEEDINGS13
  • THE INTERNATIONAL ARCHIVES OF THE...12
  • EPJ WEB OF CONFERENCES10
  • LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE230
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE23
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6443
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6826
  • open482
  • restricted464
  • reserved165
  • partially open2
  • mixed1