Sciweavers

1658 search results - page 178 / 332
» Implementing Bit-addressing with Specialization
Sort
View
150
Voted
SIMVIS
2007
15 years 1 months ago
Market Research Using a Virtual Test Store on Gaming Technology
We present the market research tool ShelfAware which implements a virtual test store of a grocery store using gaming technology available on PCs. The purpose of ShelfAware is to s...
Wolfgang Leister, Ingvar Tjøstheim, Joachim...
76
Voted
GRAPHICSINTERFACE
2004
15 years 1 months ago
Object Pointing: A Complement to Bitmap Pointing in GUIs
Pointing, a cornerstone of our graphical user interfaces, has been conceptualized and implemented so far as the act of selecting pixels in bitmap displays. We show that the curren...
Yves Guiard, Renaud Blanch, Michel Beaudouin-Lafon
100
Voted
GEOINFO
2003
15 years 1 months ago
The Architecture of a Mobile Emergency Plan Deployment System
This paper describes the implementation of a workflow management system to support mobile GIS workgroup applications and highlights the design of the workflow definition language t...
Fábio Meira de Oliveira Dias, Marcelo T&iac...
102
Voted
IFIP3
2003
135views Education» more  IFIP3 2003»
15 years 1 months ago
Pedagogical Models in Network-Based Education
One special challenge facing teachers, planners and researchers is the development of pedagogical models, teaching methods and teaching practices that are applicable in network-bas...
Sanna Vahtivuori-Hänninen
91
Voted
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 1 months ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...