6431 search results - page 359 / 1287 » Model Building by Resolution |
314
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
176
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We introduce an interactive tool which enables a user to quickly assemble an architectural model directly over a 3D point cloud acquired from large-scale scanning of an urban scen...
199
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Allowing robots to communicate naturally with humans is a major goal for social robotics. Most approaches have focused on building high-level probabilistic cognitive models. Ho...
168
click to vote
UAI
2008
15 years 8 months ago
2008
Decision circuits have been developed to perform efficient evaluation of influence diagrams [Bhattacharjya and Shachter, 2007], building on the advances in arithmetic circuits for...
168
click to vote
ENTCS
2002
15 years 6 months ago
2002
We illustrate the use of intersection types as a semantic tool for proving easiness result on -terms. We single out the notion of simple easiness for -terms as a useful semantic p...