Sciweavers

917 search results - page 96 / 184
» Structural Testing of Component-Based Systems
Sort
View
CRW
1998
Springer
332views Robotics» more  CRW 1998»
14 years 1 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
14 years 1 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»
13 years 8 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»
14 years 3 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»
12 years 11 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...