3116 search results - page 154 / 624 » Positively dependent types |
139
click to vote
TYPES
2004
Springer
15 years 10 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 9 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...
110
click to vote
ICAIL
1999
ACM
15 years 8 months ago
1999
ACM
In this paper, we describe an evaluation framework for legal information systems. The framework is based on knowledge criteria. We distinguish four belief types, viz. perceptual b...
172
click to vote
ASAP
2004
IEEE
15 years 8 months ago
2004
IEEE
Dynamic programming for approximate string matching is a large family of different algorithms, which vary significantly in purpose, complexity, and hardware utilization. Many impl...
151
click to vote
CRITIS
2006
15 years 8 months ago
2006
Ad hoc and sensor networks highly depend on the distributed cooperation among network nodes. Trust establishment frameworks provide the means for representing, evaluating, maintain...