6608 search results - page 1079 / 1322 » On the Completeness of Model Checking |
171
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Dynamic modeling of metabolic reaction networks under in vivo conditions is a crucial step in order to obtain a better understanding of the (dis)functioning of living ...
161
click to vote
CCE
2006
15 years 6 months ago
2006
There has been significant progress in the area of short-term scheduling of batch processes, including the solution of industrial-sized problems, in the last 20 years. The main go...
195
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
It is difficult to apply machine learning to new domains because often we lack labeled problem instances. In this paper, we provide a solution to this problem that leverages domai...
203
click to vote
IJCV
2007
15 years 6 months ago
2007
The visual effects of rain are complex. Rain produces sharp intensity changes in images and videos that can severely impair the performance of outdoor vision systems. In this paper...
188
click to vote
TIP
2008
15 years 6 months ago
2008
In this paper, we present an automatic classification framework combining appearance based features and Hidden Markov Models (HMM) to detect unusual events in image sequences. One...