4211 search results - page 185 / 843 » Types as Abstract Interpretations |
136
click to vote
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
127
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...
142
click to vote
ILP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
128
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— In this paper we address the problem of interpreting sensory data for human-robot interaction, especially when gathered from several robots at the same time. After desc...
132
click to vote
AUSAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper describes and compares the use of methods based on Ngrams (specifically trigrams and pentagrams), together with five features, to recognise the syntactic and s...