3691 search results - page 580 / 739 » Bayesian Logic Programs |
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
204
click to vote
JFP
2007
15 years 6 months ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
163
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
191
click to vote
ICRA
2008
IEEE
16 years 18 days ago
2008
IEEE
— Recent work has demonstrated the benefits of adopting a fully probabilistic SLAM approach in sequential motion and structure estimation from an image sequence. Unlike standard...
255
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...