686 search results - page 67 / 138 » Nonmonotonic inference operations |
ESOP
1992
Springer
14 years 2 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
SIGMETRICS
2005
ACM
14 years 3 months ago
2005
ACM
Statistical information about the flow sizes in the traffic passing through a network link helps a network operator to characterize network resource usage, infer traffic demands,...
ICIP
2002
IEEE
14 years 11 months ago
2002
IEEE
This paper discusses technique used for construction of highresolution image mosaic from a video sequence and the synchronously logged camera attitude information. It allows one t...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
ISCIS
2004
Springer
14 years 3 months ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...