1670 search results - page 245 / 334 » On Skolemization in constructive theories |
168
click to vote
ML
2006
ACM
16 years 10 days ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
149
click to vote
SIGIR
2006
ACM
16 years 10 days ago
2006
ACM
Accurate estimation of information retrieval evaluation metrics such as average precision require large sets of relevance judgments. Building sets large enough for evaluation of r...
171
click to vote
SIGMETRICS
2006
ACM
16 years 10 days ago
2006
ACM
A new methodology to assess transient performance measures of tree-like processes is proposed by introducing the concept of tree-like processes with marked time epochs. As opposed...
182
click to vote
IRI
2005
IEEE
15 years 12 months ago
2005
IEEE
Although data integration has been a research subject for decades in the AEC (Architecture Engineering Construction) industry whose data is usually highly fragmented, nowadays we ...
161
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...