4460 search results - page 844 / 892 » Formal methods for interactive systems |
ECCV
2010
Springer
13 years 7 months ago
2010
Springer
Tracking multiple objects is important in many application domains. We propose a novel algorithm for multi-object tracking that is capable of working under very challenging conditi...
CGF
2008
13 years 7 months ago
2008
Most graph visualization techniques focus on the structure of graphs and do not offer support for dealing with node attributes and edge labels. To enable users to detect relations...
CONSTRAINTS
2008
13 years 7 months ago
2008
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
The new social media sites--blogs, wikis, del.icio.us and Flickr, among others--underscore the transformation of the Web to a participatory medium in which users are actively crea...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
: A good organization model of multiple mobile robot should be able to improve the efficiency of the system, reduce the complication of robot interactions, and detract the difficul...