1128 search results - page 112 / 226 » Classical Natural Deduction |
100
Voted
ECSQARU
2007
Springer
15 years 6 months 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...
113
Voted
FDL
2006
IEEE
15 years 6 months 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...
90
Voted
ICDM
2006
IEEE
15 years 6 months 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...
98
Voted
IROS
2006
IEEE
15 years 6 months 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...
108
click to vote
LCN
2006
IEEE
15 years 6 months 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) ...