892 search results - page 65 / 179 » Strategies in sentential reasoning |
154
click to vote
SKG
2005
IEEE
15 years 10 months ago
2005
IEEE
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...
139
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
134
click to vote
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
130
click to vote
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
120
Voted
GI
2004
Springer
15 years 10 months ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...