6020 search results - page 934 / 1204 » A New Approach to Model Counting |
186
click to vote
FGR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a new technique for the perception of activities using statistical description of spatio-temporal properties. With this approach, the probability of an activit...
173
click to vote
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
The focus of this work is on using texture information for searching, browsing and retrieving images from a large database. In the wavelet approaches, texture is characterized by ...
175
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
170
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
The desire for exible networking services has given rise to the concept of active networks." Active networks provide a general framework for designing and implementing network...
141
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
During the last few years, and in an attempt to provide an ecient alternative to classical methods to designing robot control structures, the behavior-based approach has emerged....