1087 search results - page 22 / 218 » Generation under Space Constraints |
145
Voted
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
115
click to vote
ECCV
2006
Springer
16 years 3 months ago
2006
Springer
We present a dynamic near-regular texture (NRT) tracking algorithm nested in a lattice-based Markov-Random-Field (MRF) model of a 3D spatiotemporal space. One basic observation use...
119
click to vote
ICCV
2009
IEEE
14 years 11 months ago
2009
IEEE
We present a novel technique, termed attached shadow coding, for estimating surface normals from shadows when the reflectance and lighting conditions are unknown. Our key idea is ...
101
click to vote
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
— The main thesis of this paper is to perform a reliability based performance analysis for a shared latch inserted global interconnect under uncertainty. We first put forward a ...
104
Voted
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...