9067 search results - page 1478 / 1814 » Adaptive Model Checking |
192
click to vote
FOCS
2002
IEEE
16 years 7 days ago
2002
IEEE
We consider the problem of learning a matching (i.e., a graph in which all vertices have degree 0 or 1) in a model where the only allowed operation is to query whether a set of ve...
180
click to vote
HICSS
2002
IEEE
16 years 7 days ago
2002
IEEE
This paper discusses a longitudinal study that explored the relationship between use of organizational memory and knowledge (OM/K) and knowledge worker productivity within the eng...
183
click to vote
ICRA
2002
IEEE
16 years 7 days ago
2002
IEEE
Visual servoing requires an object in the field of view of the camera, in order to control the robot evolution. Otherwise, the virtual link is broken and the control loop cannot c...
203
click to vote
IWPC
2002
IEEE
16 years 6 days ago
2002
IEEE
Maintenance and evolution of complex software systems (such as large telecom embedded devices) involve activities such as reverse engineering (RE) and software visualization. Alth...
297
click to vote
ICIAR
2010
Springer
16 years 2 days ago
2010
Springer
Abstract. Real time and markerless motion capture is an active research area, due to applications in human-computer interactions, for example. A large part of the existing markerle...