10874 search results - page 220 / 2175 » An Improvement in Sugeno-Yasukawa Modeler |
166
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
172
click to vote
CIKM
2005
Springer
16 years 5 days ago
2005
Springer
We investigates language models for informational and navigational web search. Retrieval on the web is a task that differs substantially from ordinary ad hoc retrieval. We perfor...
262
click to vote
ICBA
2004
Springer
16 years 6 hour ago
2004
Springer
Active Shape Model (ASM) is one of the most popular methods for image alignment. To improve its matching accuracy, in this paper, ASM searching method is combined with a simplifie...
192
click to vote
RTAS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
157
click to vote
ACL
2012
13 years 9 months ago
2012
This paper presents a novel way of improving POS tagging on heterogeneous data. First, two separate models are trained (generalized and domain-specific) from the same data set by...