677 search results - page 39 / 136 » Dependent Types from Counterexamples |
TYPES
2004
Springer
15 years 3 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
A new method for selecting analog to digital (A/D) converters based on a generic figure of merit is described. First a figure of merit is introduced that includes both specific...
ICDAR
2011
IEEE
13 years 9 months ago
2011
IEEE
—Questioned Document Examination processes often encompass analysis of torn documents. To aid a forensic expert, automatic classification of content type in torn documents might ...
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
Dependence-aware transactional memory (DATM) is a recently proposed model for increasing concurrency of memory transactions without complicating their interface. DATM manages depe...
ICDT
2010
ACM
15 years 1 months ago
2010
ACM
Checking the correspondence between two or more database instances and enforcing it is a procedure widely used in practice without however having been explored from a theoretical ...