Sciweavers

547 search results - page 69 / 110
» Cooperation Structures
Sort
View
111
Voted
ICST
2010
IEEE
15 years 1 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
126
Voted
ECSQARU
2009
Springer
15 years 13 days ago
Soft Constraints Processing over Divisible Residuated Lattices
We claim that divisible residuated lattices (DRLs) can act as a unifying evaluation framework for soft constraint satisfaction problems (soft CSPs). DRLs form the algebraic semanti...
Simone Bova
124
Voted
ICASSP
2011
IEEE
14 years 6 months ago
Decentralized support detection of multiple measurement vectors with joint sparsity
This paper considers the problem of finding sparse solutions from multiple measurement vectors (MMVs) with joint sparsity. The solutions share the same sparsity structure, and th...
Qing Ling, Zhi Tian
ACL
1998
15 years 4 months ago
A Generative Lexicon Perspective for Adjectival Modification
This paper presents a semantic interpretation of adjectival modification in terms of the Generative Lexicon. It highlights the elements which can be borrowed from the GL and devel...
Patrick Saint-Dizier
115
Voted
IROS
2006
IEEE
165views Robotics» more  IROS 2006»
15 years 8 months ago
Grounded Situation Models for Robots: Where words and percepts meet
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...
Nikolaos Mavridis, Deb Roy