Sciweavers

3765 search results - page 481 / 753
» Qualitative Action Systems
Sort
View
AIPS
2004
15 years 8 months ago
Statistical Goal Parameter Recognition
We present components of a system which uses statistical, corpus-based machine learning techniques to perform instantiated goal recognition -- recognition of both a goal schema an...
Nate Blaylock, James F. Allen
172
Voted
EV
2006
74views Hardware» more  EV 2006»
15 years 8 months ago
Transition to Electronic Voting and Citizen Participation
This paper draws attention to the need of a systematic approach to introducing electronic voting systems and presents empirical results from a pilot project by the Provincia Autono...
Letizia Caporusso, Carlo Buzzi, Giolo Fele, Pieran...
FLAIRS
2006
15 years 8 months ago
Reasoning about Knowledge and Continuity
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
Bernhard Heinemann
ECSCW
2001
15 years 8 months ago
Team automata for spatial access control
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
Maurice H. ter Beek, Clarence A. Ellis, Jetty Klei...
DGO
2003
97views Education» more  DGO 2003»
15 years 8 months ago
Designing a Metadata -Driven Visual Information Browser for Federal Statistics
When looking for federal statistics, finding the right table, chart or report can be a daunting task for anyone not thoroughly familiar with the federal statistical system. Search...
Bill Kules, Ben Shneiderman