1712 search results - page 212 / 343 » A Computational Approach to Binding Theory |
107
click to vote
CANDC
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents a novel computational approach to the study of creativity. In particular, it discusses a modeling framework that addresses the worth of ideas ascribed by agent...
108
click to vote
DOLAP
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we investigate the problem of answering top-k queries via materialized views. We provide theoretical guarantees for the adequacy of a view to answer a top-k query, ...
117
click to vote
COLCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—During collaborative writing each author works on a copy of the shared document. These copies are then merged to produce the final document. This asynchronous work is supported...
113
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
104
click to vote
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents an approach to defining distances between nonlinear and hybrid dynamical systems based on formal power series theory. The main idea is that the input...