5624 search results - page 554 / 1125 » On Conditional Covering Problem |
232
click to vote
SIAMCO
2010
15 years 1 months ago
2010
Abstract. In the paper compressible, stationary Navier-Stokes (N-S) equations are considered. The model is well-posed, there exist weak solutions in bounded domains, subject to inh...
300
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Freshness and accuracy are two key measures of quality of service (QoS) in location-based, mobile continual queries (CQs). However, it is often difficult to provide both fresh and ...
220
click to vote
KBSE
2005
IEEE
16 years 20 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
203
click to vote
TLDI
2003
ACM
16 years 10 days ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
204
click to vote
WACV
2002
IEEE
16 years 6 hour ago
2002
IEEE
The vision-based driver fatigue detection is one of the most prospective commercial applications of facial expression recognition technology. The facial feature tracking is the pr...