339 search results - page 23 / 68 » Basic concepts of abstract interpretation |
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
PG
2007
IEEE
15 years 6 months ago
2007
IEEE
We describe a computer graphics system that supports conceptual architectural design and analysis. We use as a starting point the traditional sketchbook drawings that architects u...
4OR
2008
14 years 12 months ago
2008
This paper is the continuation of a previous work (Fasano 2004), dedicated to a MIP formulation for non-standard three-dimensional packing issues, with additional conditions. The ...
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— The future of robots, as our companions is dependent on their ability to understand, interpret and represent the environment in a human compatible manner. Towards this ...
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—It is often claimed that future systems will necessarily be all-optical, because electronic devices are not fast enough to keep up with the increase in fiber capacity. ...