6608 search results - page 953 / 1322 » On the Completeness of Model Checking |
192
click to vote
IBPRIA
2007
Springer
16 years 29 days 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...
159
click to vote
ICLP
2007
Springer
16 years 29 days 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 ...
186
click to vote
ICN
2007
Springer
16 years 29 days 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...
143
click to vote
XSYM
2007
Springer
16 years 28 days 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 ...
177
Voted
CIG
2006
IEEE
16 years 26 days 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 ...