7623 search results - page 812 / 1525 » Constructive Volume Modeling |
186
click to vote
ECAI
1990
Springer
15 years 11 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...
189
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
159
Voted
ICALT
2009
IEEE
15 years 11 months ago
2009
IEEE
Modern teaching tools, such as educational robotics, require new learning environments. The teacher especially needs to be supported in novel ways. Conflative learning environment...
198
click to vote
APSEC
2004
IEEE
15 years 11 months ago
2004
IEEE
Caise, a collaborative software engineering architecture, provides extensible real-time support for collaboration between participating tools and users. The architecture maintains...
210
click to vote
DIAGRAMS
2004
Springer
15 years 11 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...