Sciweavers

2610 search results - page 87 / 522
» The Recognition Strategy Language
Sort
View
ATAL
2010
Springer
15 years 5 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
ESOP
2006
Springer
15 years 8 months ago
Embedding Dynamic Dataflow in a Call-by-Value Language
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
Gregory H. Cooper, Shriram Krishnamurthi
ECAI
1992
Springer
15 years 8 months ago
Shift of Bias without Operators
Just as the order defined by generality over concepts allows concept induction to be performed without generalisation/specialisation operators, so too the order defined by set inc...
Claudio Carpineto
CICLING
2007
Springer
15 years 10 months ago
Characterizing Humour: An Exploration of Features in Humorous Texts
This paper investigates the problem of automatic humour recognition, and provides and in-depth analysis of two of the most frequently observed features of humorous text: human-cent...
Rada Mihalcea, Stephen G. Pulman
VL
1994
IEEE
154views Visual Languages» more  VL 1994»
15 years 8 months ago
Stretch-A-Sketch: a Dynamic Diagrammer
Stretch-A-Sketch is a pen-based drawing program that combines recognition of hand-drawn glyphs with constraint based maintenance of spatial relations. The recognition program iden...
Mark D. Gross