337 search results - page 56 / 68 » Semantic Integration through Invariants |
125
Voted
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Although scripting languages are becoming increasingly popular, even mature scripting language implementations remain interpreted. Several compilers and reimplementations have bee...
111
click to vote
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
— 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...
116
click to vote
ECCV
2004
Springer
16 years 3 months ago
2004
Springer
This paper is about the work on user relevance feedback in image retrieval. We take this problem as a standard two-class pattern classification problem aiming at refining the retri...
104
Voted
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
145
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...