2076 search results - page 167 / 416 » Functional logic overloading |
138
click to vote
TAP
2010
Springer
15 years 1 days ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
129
Voted
MEMOCODE
2007
IEEE
15 years 8 months ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
138
Voted
IICS
2004
Springer
15 years 7 months ago
2004
Springer
Facing the retrieval problem according to the overwhelming set of documents online the adaptation of text categorization to web units has recently been pushed. The aim is to utiliz...
133
click to vote
DAWAK
2000
Springer
15 years 6 months ago
2000
Springer
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
125
click to vote
BVAI
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents the implementation of ARQ-PROP II, a limited-depth propositional reasoner, via the compilation of its specification into an exact formulation using the satyrus...