Sciweavers

18090 search results - page 727 / 3618
» Computing by Only Observing
Sort
View
218
Voted
SEBD
2007
164views Database» more  SEBD 2007»
15 years 8 months ago
Online Distribution Estimation for Streaming Data: Framework and Applications
In the last few years, we have been witnessing an evergrowing need for continuous observation and monitoring applications. This need is driven by recent technological advances that...
Themis Palpanas, Vana Kalogeraki, Dimitrios Gunopu...
AIPS
2006
15 years 8 months ago
Safe LTL Assumption-Based Planning
Planning for partially observable, nondeterministic domains is a very signi cant and computationally hard problem. Often, reasonable assumptions can be drawn over expected/nominal...
Alexandre Albore, Piergiorgio Bertoli
ICAD
2004
15 years 8 months ago
Emotionface: Prototype Facial Expression Display of Emotion in Music
EmotionFace is a software interface for visually displaying the self-reported emotion expressed by music. Taken in reverse, it can be viewed as a facial expression whose auditory ...
Emery Schubert
INTERACT
2003
15 years 8 months ago
Improving Usability of E-Commerce Sites by Tracking Eye Movements
: Usability evaluation techniques such as user-observations, cognitive walkthroughs, or heuristic evaluations can be applied to evaluate the usability of multimedia interfaces of c...
Ekaterini Tzanidou
185
Voted
LFP
1990
171views more  LFP 1990»
15 years 8 months ago
Operational and Axiomatic Semantics of PCF
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
Brian T. Howard, John C. Mitchell