Sciweavers

1942 search results - page 76 / 389
» Speeding Up XTR
Sort
View
CGF
2000
127views more  CGF 2000»
15 years 6 months ago
Interactive High-Quality Maximum Intensity Projection
Maximum Intensity Projection (MIP) is a volume rendering technique which is used to visualize high-intensity structures within volumetric data. At each pixel the highest data valu...
Lukas Mroz, Helwig Hauser, Eduard Gröller
CONSTRAINTS
2002
111views more  CONSTRAINTS 2002»
15 years 6 months ago
A Constraint-Based Interactive Train Rescheduling Tool
In this paper, we report the design and implementation of a constraint-based interactive train rescheduling tool, a project in collaboration with the International Institute for So...
C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung ...
ENTCS
2002
89views more  ENTCS 2002»
15 years 6 months ago
ZEUS: A Distributed Timed Model-Checker Based on KRONOS
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
Víctor A. Braberman, Alfredo Olivero, Ferna...
JEI
2002
212views more  JEI 2002»
15 years 5 months ago
Morphology-based license plate detection in images of differently illuminated and oriented cars
This paper presents a morphology-based method for detecting license plates from cluttered images. The proposed system consists of three major components. At the first, a morpholog...
Jun-Wei Hsieh, Shih-Hao Yu, Yung-Sheng Chen
JAIR
1998
120views more  JAIR 1998»
15 years 5 months ago
The Automatic Inference of State Invariants in TIM
As planning is applied to larger and richer domains the e ort involved in constructing domain descriptions increases and becomes a signi cant burden on the human application desig...
Maria Fox, Derek Long