1288 search results - page 165 / 258 » Visual Generalization in Programming by Example |
101
Voted
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— We consider a collection of robots sharing a common environment, each robot constrained to move on a roadmap in its configuration space. To program optimal collision-free moti...
141
click to vote
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
116
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we have briefly explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality an...
114
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
123
click to vote
MPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...