10891 search results - page 407 / 2179 » Combining Model Reductions |
136
click to vote
RECOMB
2008
Springer
16 years 5 months ago
2008
Springer
A central challenge in systems biology is the reconstruction of biological networks from high-throughput data sets. A particularly difficult case of this is the inference of dynami...
135
click to vote
SDM
2009
SIAM
16 years 2 months ago
2009
SIAM
Recently, many advanced machine learning approaches have been proposed for coreference resolution; however, all of the discriminatively-trained models reason over mentions rather ...
126
Voted
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
– Due to reduction in device feature size and supply voltage, the sensitivity of digital systems to transient faults is increasing dramatically. As technology scales further, the...
150
click to vote
ICPR
2010
IEEE
16 years 2 days ago
2010
IEEE
We present a method that automatically detects chewing events in surveillance video of a subject. Firstly, an Active Appearance Model (AAM) is used to track a subject’s face acr...
205
click to vote
FOSAD
2009
Springer
15 years 11 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...