675 search results - page 33 / 135 » Using Fairness to Make Abstractions Work |
113
click to vote
ICCBR
1995
Springer
15 years 5 months ago
1995
Springer
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...
106
click to vote
ISSE
2010
15 years 11 days ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
114
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
121
click to vote
ACCV
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We design an effective shape prior embedded human silhouettes extraction algorithm. Human silhouette extraction is found challenging because of articulated structures, po...
123
click to vote
RECSYS
2009
ACM
15 years 8 months ago
2009
ACM
Tagging systems have become major infrastructures on the Web. They allow users to create tags that annotate and categorize content and share them with other users, very helpful in...