Sciweavers

1317 search results - page 52 / 264
» context 2005
Sort
View
ICFP
2005
ACM
14 years 8 months ago
A unified category-theoretic formulation of typed binding signatures
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
Miki Tanaka, John Power
COSIT
2005
Springer
106views GIS» more  COSIT 2005»
14 years 2 months ago
Investigating the Need for Eliminatory Constraints in the User Interface of Bicycle Route Planners
According to choice models in economics, consumer choice can be modeled as a two-stage process, starting with the choice of feasible alternatives, called the screening process, fol...
Hartwig H. Hochmair, Claus Rinner
MIDDLEWARE
2005
Springer
14 years 2 months ago
WildCAT: a generic framework for context-aware applications
We present WildCAT, an extensible Java framework to ease the creation of context-aware applications. WildCAT provides a simple yet powerful dynamic model to represent an applicati...
Pierre-Charles David, Thomas Ledoux
CONTEXT
2005
Springer
14 years 2 months ago
Impact of the signal control strategy on red light running
This article concerns red-light running at intersections and deals with the impact of different types of control strategies. Red running occurrences at red onset are observed throu...
Sophie Midenet
CONTEXT
2005
Springer
14 years 2 months ago
'I' as a Pure Indexical and Metonymy as Language Reduction
Most direct reference theorists believe that ‘I’ is a pure indexical. This means that when ‘I’ is uttered, it contributes with the speaker to what is said. But, from some c...
Esther Romero, Belén Soria