3653 search results - page 245 / 731 » On Recognizable Timed Languages |
146
click to vote
ECAI
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
221
click to vote
ICGI
2004
Springer
16 years 19 days 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 ...
197
click to vote
IFIP
2004
Springer
16 years 18 days 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...
216
click to vote
DALT
2009
Springer
15 years 12 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...
163
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-...