4962 search results - page 446 / 993 » Stochastic Model Checking |
152
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
The dream of pervasive multimedia retrieval and reuse will not be realized without incorporating semantics in the multimedia database. As video data is penetrating many informatio...
137
click to vote
IJON
2007
15 years 4 months ago
2007
We investigate a recently proposed method for the analysis of oscillatory patterns in EEG data, with respect to its capacity of further quantifying processes on slower (< 1 Hz)...
152
Voted
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
144
click to vote
SIGGRAPH
1993
ACM
15 years 8 months ago
1993
ACM
The realistic depiction of smoke, steam, mist and water reacting to a turbulent eld such as wind is an attractive and challenging problem. Its solution requires interlocking model...
152
click to vote
ECCV
1992
Springer
16 years 6 months ago
1992
Springer
This paper presents a method for incrementally segmenting images over time using both intensity and motion information. This is done by formulating a model of physically signi cant...