15614 search results - page 2851 / 3123 » The State of State |
226
click to vote
JELIA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
185
click to vote
KDD
2004
ACM
16 years 1 days ago
2004
ACM
We are developing a technique to predict travel time of a vehicle for an objective road section, based on real time traffic data collected through a probe-car system. In the area ...
199
click to vote
KR
2004
Springer
16 years 1 days ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
155
click to vote
KR
2004
Springer
16 years 1 days ago
2004
Springer
Humans have always done nonmonotonic reasoning, but rigorous monotonic reasoning in reaching given conclusions has been deservedly more respected and admired. Euclid contains the ...
188
click to vote
MOZ
2004
Springer
16 years 1 days ago
2004
Springer
ional Abstractions for Search Factories Guido Tack, Didier Le Botlan MOZ 2004 Presented at International Mozart/Oz Conference (MOZ 2004) Charleroi, Belgium October 2004 Published i...