Sciweavers

917 search results - page 96 / 184
» Structural Testing of Component-Based Systems
Sort
View
CRW
1998
Springer
332views Robotics» more  CRW 1998»
15 years 6 months ago
Communication in Domains with Unreliable, Single-Channel, Low-Bandwidth Communication
In most multiagent systems with communicating agents, the agents have the luxury of using reliable, multi-step negotiation protocols. They can do so primarily when communication i...
Peter Stone, Manuela M. Veloso
DAC
1994
ACM
15 years 6 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton
CORR
2002
Springer
105views Education» more  CORR 2002»
15 years 2 months ago
Cooperation between Pronoun and Reference Resolution for Unrestricted Texts
Anaphora resolution is envisaged in this paper as part of the reference resolution process. A general open architecture is proposed, which can be particularized and configured in ...
Andrei Popescu-Belis, Isabelle Robba
ICMI
2009
Springer
105views Biometrics» more  ICMI 2009»
15 years 8 months ago
Grounding spatial prepositions for video search
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
Stefanie Tellex, Deb Roy
NAR
2011
189views Computer Vision» more  NAR 2011»
14 years 5 months ago
EDULISS: a small-molecule database with data-mining and pharmacophore searching capabilities
We present the relational database EDULISS (EDinburgh University Ligand Selection System), which stores structural, physicochemical and pharmacophoric properties of small molecule...
Kun-Yi Hsin, Hugh P. Morgan, Steven R. Shave, Andr...