1065 search results - page 53 / 213 » Towards a Meaning of LIFE |
ICRA
2000
IEEE
15 years 3 months ago
2000
IEEE
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
WCRE
2000
IEEE
15 years 3 months ago
2000
IEEE
This paper describes ongoing work toward the development of a standard software exchange format (SEF), for exchanging information among tools that analyze computer programs. A par...
IJCAI
2007
15 years 6 days ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
ENTCS
2006
14 years 10 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
102
click to vote
CVPR
2007
IEEE
16 years 23 days ago
2007
IEEE
We propose a new approach to compute non-linear, intrinsic shape statistics and to incorporate them into a shape prior for an image segmentation task. Given a sample set of contou...