2082 search results - page 167 / 417 » Change Paths in Reasoning! |
125
click to vote
LPAR
2000
Springer
15 years 7 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
121
click to vote
AAAI
2007
15 years 6 months ago
2007
We develop a formal theory of mereology that includes relations that change over time. We show how this theory formalizes reasoning over domains of material objects, which include...
126
click to vote
SODA
2008
ACM
15 years 5 months ago
2008
ACM
We present a method to maintain a mesh approximating a deforming surface, which is specified by a dense set of sample points. We identify a reasonable motion model for which a pro...
167
click to vote
UAI
2008
15 years 5 months ago
2008
In this paper we introduce Refractor Importance Sampling (RIS), an improvement to reduce error variance in Bayesian network importance sampling propagation under evidential reason...
113
click to vote
ECSCW
2001
15 years 5 months ago
2001
: "Text messaging" -- using a mobile phone to send a message -- has changed how teenagers use wireless phones to communicate and coordinate. While the media reports rapid...