Sciweavers

4386 search results - page 307 / 878
» A Tamper-Resistant Programming Language System
Sort
View
123
Voted
UM
2005
Springer
15 years 9 months ago
Decision Theoretic Dialogue Planning for Initiative Problems
The taking of initiative has significance in spoken language dialogue systems and in human-computer interaction. A system that takes no initiative may fail to seize opportunities ...
Bryan McEleney, Gregory M. P. O'Hare
125
Voted
TLCA
2005
Springer
15 years 9 months ago
L3: A Linear Language with Locations
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
Greg Morrisett, Amal J. Ahmed, Matthew Fluet
137
Voted
ROBOCUP
1999
Springer
95views Robotics» more  ROBOCUP 1999»
15 years 7 months ago
Spatial Agents Implemented in a Logical Expressible Language
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
Frieder Stolzenburg, Oliver Obst, Jan Murray, Bj&o...
FASE
2008
Springer
15 years 5 months ago
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications
In many distributed computing paradigms, especially sensor networks and ubiquitous computing but also grid computing and web services, programmers commonly tie their application to...
Jonathan J. Davies, Alastair R. Beresford, Alan My...
JUCS
2008
116views more  JUCS 2008»
15 years 3 months ago
A Workflow Language for Web Automation
: Most today's web sources do not provide suitable interfaces for software programs to interact with them. Many researchers have proposed highly effective techniques to addres...
Paula Montoto, Alberto Pan, Juan Raposo, Jos&eacut...