2282 search results - page 78 / 457 » Active property checking |
170
Voted
JMM2
2006
15 years 4 months ago
2006
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
118
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
136
click to vote
AIMSA
2006
Springer
15 years 7 months ago
2006
Springer
For a multiagent system (MAS), coordination is the assumption that agents are able to adapt their behavior according to those of the other agents. The principle of Property Based C...
116
click to vote
MP
2007
15 years 3 months ago
2007
The elastic-mode formulation of the problem of minimizing a nonlinear function subject to equilibrium constraints has appealing local properties in that, for a finite value of the...
132
click to vote
HT
2009
ACM
15 years 10 months ago
2009
ACM
Folksonomies provide a rich source of data to study social patterns taking place on the World Wide Web. Here we study the temporal patterns of users’ tagging activity. We show t...