6608 search results - page 953 / 1322 » On the Completeness of Model Checking |
223
Voted
IBPRIA
2007
Springer
16 years 1 months ago
2007
Springer
Robust and accurate people tracking is a key task in many promising computer-vision applications. One must deal with non-rigid targets in open-world scenarios, whose shape and appe...
176
Voted
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
214
click to vote
ICN
2007
Springer
16 years 1 months ago
2007
Springer
— Multi-hop wireless ad-hoc networks are drawing more and more attention from both academic and industrial research. The lack of infrastructure makes those networks easy to deplo...
162
click to vote
XSYM
2007
Springer
16 years 1 months ago
2007
Springer
Nowadays, concurrency control for XML data is a big research problem. There are a number of researchers working on this problem, but most of the proposed methods are based on the ...
201
Voted
CIG
2006
IEEE
16 years 1 months ago
2006
IEEE
The Voronoi game is a two-person game which is a model for a competitive facility location. The game is done on a continuous domain, and only two special cases (1-dimensional case ...