Sciweavers

5101 search results - page 316 / 1021
» Capturing Context Requirements
Sort
View
197
Voted
LICS
2007
IEEE
16 years 1 months ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
ROBOCOMM
2007
IEEE
16 years 1 months ago
Shared memories: a trail-based coordination server for robot teams
Abstract—Robust, dependable and concise coordination between members of a robot team is a critical ingredient of any such collective activity. Depending on the availability and t...
George Roussos, Dikaios Papadogkonas, J. Taylor, D...
SEMCO
2007
IEEE
16 years 1 months ago
CDIP: Collection-Driven, yet Individuality-Preserving Automated Blog Tagging
With the success of blogs as popular information sharing media, searches on blogs have become popular. In the blogosphere, tagging is used as a means of annotating blog entries wi...
Jong Wook Kim, K. Selçuk Candan, Jun'ichi T...
CIA
2007
Springer
16 years 27 days ago
Agent Behavior Alignment: A Mechanism to Overcome Problems in Agent Interactions During Runtime
When two or more agents interacting, their behaviors are not necessarily matching. Automated ways to overcome conicts in the behavior of agents can make the execution of interacti...
Gerben G. Meyer, Nicolae B. Szirbik
ECSQARU
2007
Springer
16 years 27 days ago
Syntactic Propositional Belief Bases Fusion with Removed Sets
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
Julien Hué, Odile Papini, Eric Würbel