Sciweavers

2933 search results - page 250 / 587
» Agent-Grid Integration Language
Sort
View
CICLING
2004
Springer
15 years 9 months ago
A Modal Logic Framework for Human-Computer Spoken Interaction
Abstract. One major goal of human computer interfaces is to simplify the communication task. Traditionally, users have been restricted to the language of computers for this task. W...
Luis Villaseñor Pineda, Manuel Montes-y-G&o...
ECAI
2004
Springer
15 years 9 months ago
Game-Theoretic Agent Programming in Golog
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
Alberto Finzi, Thomas Lukasiewicz
ESOP
2004
Springer
15 years 9 months ago
A Semantic Framework for Designer Transactions
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L...
129
Voted
FLOPS
2004
Springer
15 years 9 months ago
Basic Pattern Matching Calculi: a Fresh View on Matching Failure
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
Wolfram Kahl
133
Voted
CLEF
2003
Springer
15 years 9 months ago
ITC-irst at CLEF 2003: Monolingual, Bilingual, and Multilingual Information Retrieval
This paper reports on the participation of ITC-irst in the Cross Language Evaluation Forum 2003; in particular, in the monolingual, bilingual, small multilingual, and spoken docum...
Nicola Bertoldi, Marcello Federico