9284 search results - page 143 / 1857 » Knowledge State Algorithms |
162
click to vote
TSE
2010
14 years 11 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
142
Voted
TSP
2010
14 years 11 months ago
2010
We study state estimation via wireless sensors over fading channels. Packet loss probabilities depend upon time-varying channel gains, packet lengths and transmission power levels ...
175
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
152
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
Sequential importance sampling (SIS), also known as particle filtering, has drawn increasing attention recently due to its superior performance in nonlinear and non-Gaussian dynam...
127
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper, we present an automatic mouth contour and state estimation system. An efficient mouth contour extraction algorithm is proposed under the framework of Active Shape M...