Sciweavers

5348 search results - page 723 / 1070
» Variational surface modeling
Sort
View
166
Voted
PADS
1998
ACM
15 years 10 months ago
Event History Based Sparse State Saving in Time Warp
This paper presents a sparse state saving scheme for Time Warp parallel discrete event simulation. The scheme bases the selection of the states to be recorded on the event history...
Francesco Quaglia
CAV
2006
Springer
133views Hardware» more  CAV 2006»
15 years 10 months ago
Antichains: A New Algorithm for Checking Universality of Finite Automata
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger...
FGR
2004
IEEE
167views Biometrics» more  FGR 2004»
15 years 10 months ago
Eigen-Harmonics Faces: Face Recognition under Generic Lighting
The performances of face recognition systems are heavily subject to the variations in lighting. We propose a novel approach for face recognition under generic illumination conditi...
Laiyun Qing, Shiguang Shan, Wen Gao
ADAEUROPE
2003
Springer
15 years 10 months ago
Quasar: A New Tool for Concurrent Ada Programs Analysis
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
Sami Evangelista, Claude Kaiser, Jean-Franç...
AAAI
2007
15 years 8 months ago
Centralized, Distributed or Something Else? Making Timely Decisions in Multi-Agent Systems
In multi-agent systems, agents need to share information in order to make good decisions. Who does what in order to achieve this matters a lot. The assignment of responsibility in...
Tim Harbers, Rajiv T. Maheswaran, Pedro A. Szekely