Sciweavers

1249 search results - page 90 / 250
» Limitations of the Even-Mansour Construction
Sort
View
ISER
2004
Springer
117views Robotics» more  ISER 2004»
14 years 3 months ago
Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
Chris Jones, Maja J. Mataric
SEM
2004
Springer
14 years 3 months ago
Supporting Generalized Context Interactions
Abstract. Context-awareness refers to a computing model where application behavior is driven by a continually-changing environment. Mobile computing poses unique challenges to cont...
Gregory Hackmann, Christine Julien, Jamie Payton, ...
SPIRE
2004
Springer
14 years 3 months ago
Evaluating Relevance Feedback and Display Strategies for Searching on Small Displays
Abstract Searching information resources using mobile devices is affected by displays on which only a small fraction of the set of ranked documents can be displayed. In this study ...
Vishwa Vinay, Ingemar J. Cox, Natasa Milic-Fraylin...
ASP
2003
Springer
14 years 3 months ago
Parametric Connectives in Disjunctive Logic Programming
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
Nicola Leone, Simona Perri
P2P
2002
IEEE
178views Communications» more  P2P 2002»
14 years 3 months ago
A Scalable and Ontology-Based P2P Infrastructure for Semantic Web Services
Semantic Web Services are a promising combination of Semantic Web and Web service technology, aiming at providing means of automatically executing, discovering and composing seman...
Mario T. Schlosser, Michael Sintek, Stefan Decker,...