1422 search results - page 119 / 285 » Complementation in Abstract Interpretation |
141
click to vote
ROBOCUP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Based on the design of the CS Freiburg team, which participated sucessfully in Robocup’98, we developed a new team of robotic soccer players. While the hardware compone...
130
click to vote
ECAI
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
120
click to vote
EP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The singular value decomposition, or SVD , has been studied in the past as a tool for detecting and understanding patterns in a collection of documents. We show how the m...
130
click to vote
HYBRID
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
139
click to vote
ISMIS
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. This paper presents a framework for reasoning using intervals. Two interpretations of intervals are examined, one treats intervals as bounds of a truth evaluation functio...