1128 search results - page 112 / 226 » Classical Natural Deduction |
169
click to vote
ECSQARU
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. There has recently been many proposals to adopt an argumentative approach to decision-making. As the underlying assumptions made in these different approaches are not al...
175
click to vote
FDL
2006
IEEE
16 years 17 days ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
152
click to vote
ICDM
2006
IEEE
16 years 16 days ago
2006
IEEE
Classification problems with functionally structured input variables arise naturally in many applications. In a clinical domain, for example, input variables could include a time...
160
click to vote
IROS
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract— Long range navigation by unmanned ground vehicles continues to challenge the robotics community. Efficient navigation requires not only intelligent on-board perception...
171
click to vote
LCN
2006
IEEE
16 years 15 days ago
2006
IEEE
Structured Peer-to-Peer systems are designed for a highly scalable, self organizing, and efficient lookup for data. The key space of the so-called Distributed Hash Tables (DHTs) ...