Sciweavers

2455 search results - page 271 / 491
» Graphical abstract help
Sort
View
AIME
2001
Springer
15 years 9 months ago
Knowledge Acquisition System to Support Low Vision Consultation
Abstract. This paper describes an integrated system to support medical consultations, in particular low vision consultation. In emerging domains where the population is reduced (su...
Cláudia Antunes, João P. Martins
IEAAIE
2001
Springer
15 years 9 months ago
A Knowledge Model for Automatic Configuration of Traffic Messages
: This paper describes a knowledge model for a configuration problem in the domain of traffic control. The goal of this model is to help traffic engineers in the dynamic selection ...
Martín Molina, Mónica Robledo
154
Voted
IFL
2001
Springer
146views Formal Methods» more  IFL 2001»
15 years 9 months ago
Optimizations on Array Skeletons in a Shared Memory Environment
Map- and fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, i...
Clemens Grelck
PADO
2001
Springer
15 years 9 months ago
Deriving Pre-conditions for Array Bound Check Elimination
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
UML
2001
Springer
15 years 9 months ago
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
Richard F. Paige, Jonathan S. Ostroff