2290 search results - page 332 / 458 » Extensible Protected Types |
122
Voted
PERCOM
2006
ACM
16 years 2 months ago
2006
ACM
This paper presents Cantag, an open source software toolkit for building Marker-based Vision (MBV) systems that can identify and accurately locate printed markers in three dimensi...
116
Voted
PERCOM
2004
ACM
16 years 2 months ago
2004
ACM
We present MediaBroker, a distributed framework designed to support pervasive computing applications. Specifically, we propose an architecture consisting of a transport engine and...
99
Voted
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
120
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
124
Voted
VMCAI
2010
Springer
15 years 12 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...