1802 search results - page 19 / 361 » Model-based Theory Combination |
110
click to vote
CICLING
2006
Springer
15 years 3 months ago
2006
Springer
Several phrase chunkers have been proposed over the past few years. Some state-of-the-art chunkers achieved better performance via integrating external resources, e.g., parsers and...
113
click to vote
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
JMIV
2007
14 years 11 months ago
2007
These last few years, image decomposition algorithms have been proposed to split an image into two parts: the structures and the textures. These algorithms are not adapted to the ...
122
click to vote
CLUSTER
2004
IEEE
14 years 11 months ago
2004
IEEE
Fault tolerance in parallel systems has traditionally been achieved through a combination of redundancy and checkpointing methods. This notion has also been extended to message-pas...
112
click to vote
CAIP
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes a comprehensive approach to extract a common feature set from the image sequences. We use simple features which are easily extracted from a 3D wireframe model ...