Sciweavers

3891 search results - page 340 / 779
» Toward nature-inspired 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
CVPR
2000
IEEE
15 years 11 months ago
Step towards Sequence-to-Sequence Alignment
This paper presents an approach for establishing correspondencesin time and in space between two differentvideo sequences of the same dynamic scene, recorded by stationary uncalib...
Yaron Caspi, Michal Irani
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