4008 search results - page 119 / 802 » An expressive language of signatures |
119
click to vote
ENTCS
2008
15 years 6 months ago
2008
The paper presents ConSpec, an automata based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the languag...
134
click to vote
EXPERT
2002
15 years 6 months ago
2002
ABL is a reactive planning language, based on the Oz Project language Hap, designed specifically for authoring believable agents - characters which express rich personality, and w...
148
click to vote
IRI
2008
IEEE
16 years 23 days ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
146
click to vote
MT
2007
15 years 5 months ago
2007
We study automata for capturing the transformations in practical natural language processing systems, especially those that translate between human languages. For several variation...
156
click to vote
VL
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...