10891 search results - page 29 / 2179 » Combining Model Reductions |
CHARME
2001
Springer
14 years 7 days ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
ACL
2008
13 years 9 months ago
2008
For Chinese POS tagging, word segmentation is a preliminary step. To avoid error propagation and improve segmentation by utilizing POS information, segmentation and tagging can be...
ENTCS
2007
13 years 7 months ago
2007
We define an observational equivalence for Lafont’s interaction combinators, which we prove to be the least discriminating non-trivial congruence on total nets (nets admitting ...
INTEGRATION
2008
13 years 7 months ago
2008
The paper proposes an efficient terminal and model order reduction method for compact modeling of interconnect circuits with many terminals. The new method is inspired by the rece...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
The paper proposes the application of majority voting on the output of several support vector machines in order to select the most suitable learning machine for frontal face detec...