Sciweavers

10406 search results - page 1710 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
MODELS
2007
Springer
16 years 1 months ago
Deriving Operation Contracts from UML Class Diagrams
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
Jordi Cabot, Cristina Gómez
ROBOCUP
2005
Springer
91views Robotics» more  ROBOCUP 2005»
16 years 24 days ago
Gaze Direction Determination of Opponents and Teammates in Robot Soccer
Gaze direction determination of opponents and teammates is a very important ability for any soccer player, human or robot. However, this ability is still not developed in any of th...
Patricio Loncomilla, Javier Ruiz-del-Solar
ICADL
2004
Springer
161views Education» more  ICADL 2004»
16 years 21 days ago
An Implementation of Web Image Search Engines
This paper presents our implementation techniques for an intelligent Web image search engine. A reference architecture of the system is provided and addressed in this paper. The s...
Zhiguo Gong, Leong Hou U, Chan Wa Cheang
TAP
2009
Springer
178views Hardware» more  TAP 2009»
16 years 1 months ago
Dynamic Symbolic Execution for Testing Distributed Objects
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...
CVPR
2004
IEEE
16 years 9 months ago
The World in an Eye
This paper provides a comprehensive analysis of exactly what visual information about the world is embedded within a single image of an eye. It turns out that the cornea of an eye...
Ko Nishino, Shree K. Nayar
« Prev « First page 1710 / 2082 Last » Next »