14331 search results - page 2704 / 2867 » On the modeling and analysis of obligations |
170
click to vote
MM
2006
ACM
16 years 1 months ago
2006
ACM
We propose a novel and generic video/image reranking algorithm, IB reranking, which reorders results from text-only searches by discovering the salient visual patterns of relevant...
259
click to vote
SENSYS
2006
ACM
16 years 1 months ago
2006
ACM
We explore fundamental performance limits of tracking a target in a two-dimensional field of binary proximity sensors, and design algorithms that attain those limits. In particul...
216
click to vote
SIGECOM
2006
ACM
16 years 1 months ago
2006
ACM
Games may be represented in many different ways, and different representations of games affect the complexity of problems associated with games, such as finding a Nash equilib...
243
click to vote
ECCB
2005
IEEE
16 years 23 days ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
220
click to vote
KBSE
2005
IEEE
16 years 22 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...