1458 search results - page 205 / 292 » Monads for incremental computing |
164
Voted
ROBOCUP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
121
Voted
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes an in vivo measurement technique to calculate dielectric properties of blood excluding the contributions from surrounding tissues, based on analysis of the pu...
122
click to vote
CVPR
2006
IEEE
15 years 10 months ago
2006
IEEE
In multi-target tracking, the maintaining of the correct identity of targets is challenging. In the presented tracking method, accurate target identification is achieved by incor...
148
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
135
Voted
SAC
2006
ACM
15 years 10 months ago
2006
ACM
With the development of Internet-based business, Web applications are becoming increasingly complex. The J2EE specification aims at enabling the design of such web application ser...