12774 search results - page 2278 / 2555 » A Framework for Proof Systems |
179
click to vote
SSDBM
2000
IEEE
15 years 11 months ago
2000
IEEE
Benchmarking spatiotemporal database systems requires the definition of suitable datasets simulating the typical behavior of moving objects. Previous approaches for generating spa...
202
click to vote
WETICE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper argues that the development of Collaborative Virtual Environment (CVE) technology must be guided by application and end user needs. A collaboration is described between ...
192
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
184
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
165
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Programmable Embodied Agents are portable, wireless, interactive devices embodying specific, differentiable, interactive characteristics. They take the form of identifiable charac...