Sciweavers

2697 search results - page 167 / 540
» Developing Gestural Input
Sort
View
CEAS
2007
Springer
16 years 11 days ago
TV-ACTA: Embedding an Activity-Centered Interface for Task Management in Email
In contextual computing, where cues beyond direct user input are used to trigger computation, one of the most daunting challenges is inferring what the user is doing. For the doma...
Victoria Bellotti, Jim Thornton, Alvin Chin, Diane...
FROCOS
2007
Springer
16 years 10 days ago
Temporal Logic with Capacity Constraints
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
Clare Dixon, Michael Fisher, Boris Konev
GECCO
2007
Springer
186views Optimization» more  GECCO 2007»
16 years 10 days ago
Cascaded generic XCS to learn about reminding preferences
We are developing an adaptive reminding system, which learns when and how to present notifications. In this paper, we focus on our XCS-based model, composed of two cascaded sets ...
Nadine Richard, Samuel Tardieu, Seiji Yamada
ICANN
2007
Springer
16 years 10 days ago
Generalized Softmax Networks for Non-linear Component Extraction
Abstract. We develop a probabilistic interpretation of non-linear component extraction in neural networks that activate their hidden units according to a softmaxlike mechanism. On ...
Jörg Lücke, Maneesh Sahani
ISI
2007
Springer
16 years 10 days ago
Organizing Hot-Spot Police Patrol Routes
—We address the problem of planning patrol routes to maximize coverage of important locations (hot spots) at minimum cost (length of patrol route). We model a road network using ...
Sudarshan S. Chawathe