Sciweavers

2111 search results - page 108 / 423
» How to Program Pervasive Systems
Sort
View
ATAL
2010
Springer
15 years 26 days ago
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enric...
AUIC
2006
IEEE
15 years 6 months ago
An interface test-bed for 'Kansei' filters using the touch designer visual programming environment
In the context of a larger project dealing with kansei analysis of movement, we present a basic method for applying real-time filters to human motion capture data in order to modi...
Rodney Berry, Masahide Naemura, Yuichi Kobayashi, ...
DEXA
1994
Springer
92views Database» more  DEXA 1994»
15 years 4 months ago
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
Elsa L. Gunter, Leonid Libkin
JUCS
2008
149views more  JUCS 2008»
15 years 19 days ago
Binary Methods Programming: the Clos Perspective
: Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of ...
Didier Verna
ICFP
2003
ACM
16 years 18 days ago
Scripting the type inference process
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierst...