Sciweavers

9186 search results - page 217 / 1838
» A Module System for Scheme
Sort
View
HICSS
1999
IEEE
88views Biometrics» more  HICSS 1999»
15 years 11 months ago
An Intelligent Solution Support System for Spatial Modelling and Decision Support
`Modelling inside GIS' has been widely researched over the years. This paper argues that such approach lacks appropriate model reusing and management functions because it is ...
Anthony Gar-On Yeh, Jiming Qiao
AGP
1994
IEEE
15 years 10 months ago
A Compositional Semantics for Conditional Term Rewriting Systems
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
María Alpuente, Moreno Falaschi, Marí...
MVA
2000
161views Computer Vision» more  MVA 2000»
15 years 8 months ago
Vision Based Global Navigation System for Autonomous Urban Transport Vehicles in Outdoor Partially Known Environments
This paper describes a vision-based system for autonomous urban transport missions in outdoor environments. Specialized modules are implemented for particular tasks such as lane t...
Miguel Ángel Sotelo Vázquez, Luis Ma...
VLSISP
2008
139views more  VLSISP 2008»
15 years 6 months ago
Fault Tolerance Analysis of Communication System Interleavers: the 802.11a Case Study
The study of Multiple Soft errors on memory modules caused by radiation effects represents an interesting field of current research. The fault tolerance of these devices in radiati...
Pilar Reyes, Pedro Reviriego, Juan Antonio Maestro...
PE
2010
Springer
119views Optimization» more  PE 2010»
15 years 5 months ago
A discrete-time Markov-modulated queuing system with batched arrivals
This paper examines a discrete-time queuing system with applications to telecommunications traffic. The arrival process is a particular Markov modulated process which belongs to t...
Richard G. Clegg