984 search results - page 168 / 197 » Dynamic Shape and Appearance Models |
241
click to vote
AMEC
2004
Springer
15 years 10 months ago
2004
Springer
In many two-sided search applications, autonomous agents can enjoy the advantage of parallel search, powered by their ability to handle an enormous amount of information, in a shor...
144
click to vote
NFM
2011
14 years 11 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
129
click to vote
ANTSW
2004
Springer
15 years 10 months ago
2004
Springer
Designing an optimal overlay communication network for a set of processes on the Internet is a central problem of peer-to-peer (P2P) computing. Such a network defines membership a...
116
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
With the growing amount of information being digitized, users find it difficult to obtain the most relevant information that is hidden in the deluge of information returned to the...
165
click to vote
COMPLEXITY
2007
15 years 4 months ago
2007
: Conflict is a dynamic and complex form of human interaction, often emerging from incompatible actions, values and goals, and consuming a considerable amount of resources. Conflic...