Sciweavers

4205 search results - page 84 / 841
» Typed Mobile Objects
Sort
View
FDG
2009
ACM
15 years 10 months ago
Games for passengers: accounting for motion in location-based applications
Passengers pay attention to the landscape as they move through the environment. We suggest a new type of applications, which adds to that experience. It consider their motion and ...
Liselott Brunnberg, Oskar Juhlin, Anton Gustafsson
151
Voted
UIC
2010
Springer
15 years 1 months ago
A Smartphone-Based Obstacle Sensor for the Visually Impaired
In this paper, we present a real-time obstacle detection system for the mobility improvement for the visually impaired using a handheld Smartphone. Though there are many existing a...
En Peng, Patrick Peursum, Ling Li, Svetha Venkates...
175
Voted
SSD
1993
Springer
152views Database» more  SSD 1993»
15 years 7 months ago
Realms: A Foundation for Spatial Data Types in Database Systems
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
Ralf Hartmut Güting, Markus Schneider
178
Voted
TOCL
2012
235views Formal Methods» more  TOCL 2012»
13 years 6 months ago
Topological and Simplicial Models of Identity Types
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
Benno van den Berg, Richard Garner
146
Voted
GI
1997
Springer
15 years 7 months ago
Functional Object-Oriented Programming with Object-Gofer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
Wolfram Schulte, Klaus Achatz