5493 search results - page 231 / 1099 » Effectively Polynomial Simulations |
139
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Pattern matching is a well-known pattern recognition technique. This paper proposes a novel pattern matching algorithm that searches transformation space by sequential subdivision...
170
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
180
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Graph structures have been proved important in high level-vision since they can be used to represent structural and relational arrangements of objects in a scene. One of the probl...
150
click to vote
IROS
2007
IEEE
16 years 26 days ago
2007
IEEE
— This work is focused on the design of a rotor speed regulator for small-scale helicopters. A nominal model identification for the main rotor is performed using a hybrid proced...
160
click to vote
SMC
2007
IEEE
16 years 25 days ago
2007
IEEE
—We carried out a series of experiments on text classification using multi-word features. An automated method was proposed to extract the multi-words from text data set and two d...