Sciweavers

2695 search results - page 204 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
123
Voted
ATAL
2010
Springer
15 years 4 months ago
Virtual world grammar
Hybrid systems such as those that combine 3D virtual worlds and organization based multiagent systems add new visual and communication features for multi-user applications. The des...
Tomas Trescak, Marc Esteva, Inmaculada Rodrí...
183
Voted
HASE
2002
IEEE
15 years 8 months ago
An Approach to Specify and Test Component-Based Dependable Software
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Arshad Jhumka, Martin Hiller, Neeraj Suri
ICRA
2000
IEEE
144views Robotics» more  ICRA 2000»
15 years 8 months ago
Automatic Identification of Local Geometric Properties During Teleoperation
During teleoperation, a human operator often receives only 2-D visual feedback from the remote environment. While a variety of kinematic sensors exist on the remote manipulator fo...
Thomas Debus, Pierre E. Dupont, Robert D. Howe
144
Voted
SOSYM
2010
107views more  SOSYM 2010»
15 years 2 months ago
A UML/OCL framework for the analysis of graph transformation rules
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
147
Voted
ICMCS
2006
IEEE
191views Multimedia» more  ICMCS 2006»
15 years 9 months ago
Semantic Multimedia Retrieval using Lexical Query Expansion and Model-Based Reranking
We present methods for improving text search retrieval of visual multimedia content by applying a set of visual models of semantic concepts from a lexicon of concepts deemed relev...
Alexander Haubold, Apostol Natsev, Milind R. Napha...