2796 search results - page 273 / 560 » A time structure based software reliability model |
166
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
131
click to vote
SIGGRAPH
1993
ACM
15 years 8 months ago
1993
ACM
We present an efficient and robust algorithm for finding points of collision between time-dependent parametric and implicit surfaces. The algorithm detects simultaneous collisio...
141
click to vote
JMM2
2007
15 years 4 months ago
2007
— The automatic extraction and analysis of visual information is becoming generalised. The first step in this processing chain is usually separating or segmenting the captured v...
126
click to vote
IWEC
2004
15 years 6 months ago
2004
In this paper, we describe our work on classification of players in Massively Multiplayer Online Games using Hidden Markov Models based on player action sequences. In our previous ...
125
click to vote
DCC
2000
IEEE
15 years 9 months ago
2000
IEEE
On sparse images, contiguous runs of identical symbols often occur in the same coding context. This paper proposes a model for efficiently encoding such runs in a twodimensional s...