1567 search results - page 259 / 314 » A Mechanized Model of the Theory of Objects |
109
click to vote
ICB
2007
Springer
15 years 3 months ago
2007
Springer
Many applications require tracking and recognition of multiple faces at distances, such as in video surveillance. Such a task, dealing with non-cooperative objects is more challeng...
106
click to vote
SIGGRAPH
1991
ACM
15 years 3 months ago
1991
ACM
Algorithms and computational complexity measures for simulating the motion of contacting bodies with friction are presented. The bodies are restricted to be perfectly rigid bodies...
ANTSW
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We study through simulation the performance of two MANET routing algorithms in a realistic urban environment. The two algorithms, AODV and AntHocNet, are representative o...
119
click to vote
LWA
2007
15 years 1 months ago
2007
Web 2.0 applications like Flickr, YouTube, or Del.icio.us are increasingly popular online communities for creating, editing and sharing content. However, the rapid increase in siz...
121
click to vote
ATVA
2010
Springer
15 years 28 days ago
2010
Springer
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...