Sciweavers

4584 search results - page 375 / 917
» interact 2007
Sort
View
ACII
2007
Springer
16 years 1 months ago
Sound for A-Life Agents
in the form of light clusters (displayed in arrays of LEDs) and abstract electroacoustic sound — what we term low-fidelity embodiments. Thus, the architecture for such agents is...
Melanie Baljko, John Kamevaar, Nell Tenhaaf
AGTIVE
2007
Springer
16 years 1 months ago
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
Hans-Jörg Kreowski, Sabine Kuske
JSAI
2007
Springer
16 years 29 days ago
Inverse Scope as Metalinguistic Quotation in Operational Semantics
We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and ev...
Chung-chieh Shan
ASIACRYPT
2007
Springer
15 years 10 months ago
A Non-interactive Shuffle with Pairing Based Verifiability
A shuffle is a permutation and re-encryption of a set of ciphertexts. Shuffles are for instance used in mix-nets for anonymous broadcast and voting. One way to make a shuffle verif...
Jens Groth, Steve Lu
ASSETS
2007
ACM
15 years 10 months ago
Slipping and drifting: using older users to uncover pen-based target acquisition difficulties
This paper presents the results of a study to gather information on the underlying causes of pen-based target acquisition difficulty. In order to observe both simple and complex i...
Karyn Moffatt, Joanna McGrenere