Sciweavers

6614 search results - page 146 / 1323
» Semantics of Information as Interactive Computation
Sort
View
CONTEXT
2005
Springer
15 years 8 months ago
Minimality and Non-determinism in Multi-context Systems
Multi-context systems can be used to represent contextual information and inter-contextual information flow. We show that the local model semantics of a multi-context system is co...
Floris Roelofsen, Luciano Serafini
SEMCO
2008
IEEE
16 years 13 days ago
TcruziKB: Enabling Complex Queries for Genomic Data Exploration
We developed a novel analytical environment to aid in the examination of the extensive amount of interconnected data available for genome projects. Our focus is to enable ity and ...
Pablo N. Mendes, Bobby McKnight, Amit P. Sheth, Je...
ISWC
1997
IEEE
15 years 10 months ago
Metronaut: A Wearable Computer with Sensing and Global Communication Capabilities
Metronaut is a novel wearable computer which captures information, senses position, provides wide range communications, consumes less than one watt of power, and weighs less than ...
Asim Smailagic, Richard Martin
CHI
2004
ACM
16 years 6 months ago
Non-visual information display using tactons
This paper describes a novel form of display using tactile output. Tactons, or tactile icons, are structured tactile messages that can be used to communicate message to users non-...
Stephen A. Brewster, Lorna M. Brown
CONCUR
2009
Springer
16 years 19 days ago
Encoding Asynchronous Interactions Using Open Petri Nets
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
Paolo Baldan, Filippo Bonchi, Fabio Gadducci