Sciweavers

5879 search results - page 797 / 1176
» Separation - Past, Present, and Future
Sort
View
209
Voted
ENTCS
2002
148views more  ENTCS 2002»
15 years 6 months ago
A Declarative Debugging System for Lazy Functional Logic Programs
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
Rafael Caballero, Mario Rodríguez-Artalejo
JILP
2000
109views more  JILP 2000»
15 years 6 months ago
Dynamic Register Renaming Through Virtual-Physical Registers
Register file access time represents one of the critical delays of current microprocessors, and it is expected to become more critical as future processors increase the instructio...
Teresa Monreal, Antonio González, Mateo Val...
179
Voted
RCC
2000
113views more  RCC 2000»
15 years 6 months ago
The Aristotle Approach to Open Hypermedia
Large-scale distributed hypermedia systems comprise a generation of powerful tools to meet the demands of the new information globalization era. The most promising of such systems...
Costas Petrou, Drakoulis Martakos, Michael Hatzopo...
199
Voted
IJCV
2002
227views more  IJCV 2002»
15 years 6 months ago
Calculating Dense Disparity Maps from Color Stereo Images, an Efficient Implementation
Abstract-- This paper presents an efficient implementation for correlation based stereo. Research in this area can roughly be divided in two classes: improving accuracy regardless ...
Karsten Mühlmann, Dennis Maier, Jürgen H...
IVS
2002
82views more  IVS 2002»
15 years 6 months ago
A taxonomy of glyph placement strategies for multidimensional data visualization
Glyphs are graphical entities that convey one or more data values via attributes such as shape, size, color, and position. They have been widely used in the visualization of data ...
Matthew O. Ward