3116 search results - page 249 / 624 » Positively dependent types |
347
click to vote
AMCS
2011
15 years 1 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
191
click to vote
ISCA
2012
IEEE
13 years 9 months ago
2012
IEEE
Single-ISA heterogeneous multi-core processors are typically composed of small (e.g., in-order) power-efficient cores and big (e.g., out-of-order) high-performance cores. The eff...
197
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
189
click to vote
JSYML
2008
15 years 6 months ago
2008
free but not Whitehead Abelian groups to construct Abstract Elementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-...
193
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper presents a method to estimate geometrical, photometrical, and environmental information of a singleviewed object in one integrated framework under fixed viewing positio...