4752 search results - page 309 / 951 » From computation models to models of provenance: the RWS app... |
182
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
A well-built dataset is a necessary starting point for advanced computer vision research. It plays a crucial role in evaluation and provides a continuous challenge to stateof-the-...
175
click to vote
JOC
2008
15 years 6 months ago
2008
In the setting of concurrent self composition, a single protocol is executed many times concurrently by a single set of parties. In this paper, we prove lower bounds and impossibi...
184
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
Due to the increasing demands for network security, distributed intrusion detection has become a hot research topic in computer science. However, the design and maintenance of the...
164
click to vote
PG
2003
IEEE
16 years 2 days ago
2003
IEEE
As the number of in-house and public-domain 3D shape models increase, importance of shape-similarity based search and retrieval for 3D shapes models has increased rapidly. In this...
179
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...