5015 search results - page 276 / 1003 » Model Checking a Path |
181
click to vote
EOR
2008
15 years 6 months ago
2008
Recently, in the field of project scheduling problems the concept of partially renewable resources has been introduced. Theoretically, it is a generalization of both renewable and...
148
click to vote
ASIACRYPT
2003
Springer
15 years 11 months ago
2003
Springer
We introduce a new cryptographic tool: multiset hash functions. Unlike standard hash functions which take strings as input, multiset hash functions operate on multisets (or sets). ...
186
click to vote
CVPR
2007
IEEE
16 years 25 days ago
2007
IEEE
3D human pose recovery is considered as a fundamental step in view-invariant human action recognition. However, inferring 3D poses from a single view usually is slow due to the la...
153
click to vote
IADIS
2003
15 years 7 months ago
2003
The Internet network provides access to several hundreds of million sites and expands at a rate of a million pages a day. Yet, given the rapid and anarchical nature of its evoluti...
108
click to vote
DATE
2008
IEEE
16 years 29 days ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...