2206 search results - page 151 / 442 » On the power of coercion abstraction |
154
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...
134
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Constraint programming offers powerful problem solving capabilities, but experienced and skilled developers are needed to maximise the benefits it offers. We introduce...
151
click to vote
FPL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Hybrid Hall effect (HHE) devices are a new class of reconfigurable logic devices that incorporate ferromagnetic elements to deliver nonvolatile operation. A single HHE de...
158
click to vote
P2P
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper some representative peer-to-peer file sharing applications are compared against two sets of features. The first set describes the semantics of the relevant primiti...
163
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...