2308 search results - page 240 / 462 » Representing Symbolic Reasoning |
196
click to vote
JCST
2010
15 years 1 months ago
2010
Abstract We define a notion of context that represents invariant, stable-over-time behavior in an environment and we propose an algorithm for detecting context changes in a stream ...
153
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
136
click to vote
ICCBR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Representing biomedical knowledge is an essential task in biomedical informatics intelligent systems. Case-based reasoning (CBR) holds the promise of representing context...
156
click to vote
PPSWR
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
183
click to vote
COSIT
1999
Springer
15 years 10 months ago
1999
Springer
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...