3825 search results - page 280 / 765 » The Language of Time: A Reader |
201
click to vote
ICGI
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. A base problem in Web information extraction is to find appropriate queries for informative nodes in trees. We propose to learn queries for nodes in trees automatically ...
183
click to vote
IFIP
2004
Springer
16 years 3 hour ago
2004
Springer
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
197
click to vote
DALT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
142
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
We describe in this paper the GNU-Prolog system, a free system consisting of a Prolog compiler and a constraint solver on finite domains. GNU-Prolog is based on a low-level mini-...
156
click to vote
PLDI
1996
ACM
15 years 10 months ago
1996
ACM
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduc...