Sciweavers

6320 search results - page 463 / 1264
» Towards Situated Computing
Sort
View
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 11 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
SSIAI
2000
IEEE
15 years 11 months ago
Towards Knowledge-Based Extraction of Roads from 1m-Resolution Satellite Images
As IKONOS satellite with 1m-resolution camera has been launched in 1999, mapping using space-borne images will be a hot issue in computer vision area as well as photogrammetry, ma...
Hae-Yeoun Lee, Heung-Kyu Lee, Tak-gon Kim, Wonkyu ...
CIA
1999
Springer
15 years 11 months ago
Digital City Kyoto: Towards a Social Information Infrastructure
This paper proposes the concept of digital cities as a social information infrastructure for urban life (including shopping, business, transportation, education, welfare and so on)...
Toru Ishida, Jun-ichi Akahani, Kaoru Hiramatsu, Ka...
VRML
1998
ACM
15 years 11 months ago
Towards More Realistic Sound in VRML
While many pleasing effects are possible using the current VRML sound model [9], it falls short of producing convincing aural environments. Sound sources are not easily affected b...
Sean Ellis
ICCAD
1994
IEEE
144views Hardware» more  ICCAD 1994»
15 years 11 months ago
Power analysis of embedded software: a first step towards software power minimization
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
Vivek Tiwari, Sharad Malik, Andrew Wolfe