1598 search results - page 276 / 320 » A Unified Computation Model for Functional and Logic Program... |
155
click to vote
ALT
1995
Springer
15 years 8 months ago
1995
Springer
This paper characterizes the polynomial time learnability of TPk, the class of collections of at most k rst-order terms. A collection in TPk de nes the union of the languages de n...
145
Voted
EUROCAST
2001
Springer
15 years 9 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
109
Voted
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
Grid Computing is becoming more popular. The traditional role of the Internet as being an information repository is evolving to become a resource repository. People using the Inte...
135
click to vote
FCT
2009
Springer
15 years 11 months ago
2009
Springer
In the uniform circuit model of computation, the width of a boolean circuit exactly characterises the “space” complexity of the computed function. Looking for a similar relatio...
175
Voted
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...