1636 search results - page 95 / 328 » Reasoning About Quantum Systems |
146
click to vote
HCW
1998
IEEE
15 years 10 months ago
1998
IEEE
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...
148
click to vote
BMVC
2002
15 years 8 months ago
2002
This paper investigates the combination of spatial and probabilistic models for reasoning about pedestrian behaviour in visual surveillance systems. Models are learnt by a multi-s...
153
click to vote
COLING
2008
15 years 7 months ago
2008
Reasoning about how much to generate when space is limited is a challenge for generation systems. This paper presents two algorithms that exploit the discourse structure to decide...
159
click to vote
WOODPECKER
2001
15 years 7 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
148
click to vote
JUCS
2010
15 years 4 months ago
2010
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...