Sciweavers

2911 search results - page 457 / 583
» A Theory of Expressiveness in Mechanisms
Sort
View
ICFP
2002
ACM
16 years 1 months ago
Composing monads using coproducts
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
Christoph Lüth, Neil Ghani
EWSN
2008
Springer
16 years 1 months ago
Efficient Clustering for Improving Network Performance in Wireless Sensor Networks
Clustering is an important mechanism in large multi-hop wireless sensor networks for obtaining scalability, reducing energy consumption and achieving better network performance. Mo...
Tal Anker, Danny Bickson, Danny Dolev, Bracha Hod
123
Voted
ESOP
2010
Springer
15 years 11 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
MMM
2009
Springer
126views Multimedia» more  MMM 2009»
15 years 10 months ago
A User Experience Model for Home Video Summarization
In this paper, we propose a novel system for automatically summarizing home videos based on a user experience model. The user experience model takes account of user’s spontaneous...
Wei-Ting Peng, Wei-Jia Huang, Wei-Ta Chu, Chien-Na...
CHI
2010
ACM
15 years 8 months ago
Cord input: an intuitive, high-accuracy, multi-degree-of-freedom input method for mobile devices
A cord, although simple in form, has many interesting physical affordances that make it powerful as an input device. Not only can a length of cord be grasped in different location...
Julia Schwarz, Chris Harrison, Scott E. Hudson, Je...