520 search results - page 13 / 104 » Implementing a Generalized Version of Resolution |
177
click to vote
SACMAT
2011
ACM
14 years 19 days ago
2011
ACM
The advent of emerging technologies such as Web services, serviceoriented architecture, and cloud computing has enabled us to perform business services more efficiently and effec...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Superresolution is the process of producing a high resolution image from a collection of low resolution images. This process has potential application in a wide spectrum of fields...
125
click to vote
DKE
2011
14 years 4 months ago
2011
We propose a novel approach to facilitate the concurrent development of ontologies by different groups of experts. Our approach adapts Concurrent Versioning, a successful paradigm...