Sciweavers

873 search results - page 3 / 175
» step 2005
Sort
View
ICRA
2005
IEEE
130views Robotics» more  ICRA 2005»
14 years 3 months ago
Step Modelling of a High Precision 2DoF (Linear-Angular) Microsystem
Abstract— In this paper, a new type of microsystem is presented : a system able to perform linear and angular motion. First, the microactuator used is studied. An approximation o...
Micky Rakotondrabe, Yassine Haddab, Philippe Lutz
GECCO
2005
Springer
131views Optimization» more  GECCO 2005»
14 years 3 months ago
Evolutionary optimization of dynamic control problems accelerated by progressive step reduction
In this paper, we describe the use of an evolutionary algorithm (EA) to solve dynamic control optimization problems in engineering. In this class of problems, a set of control var...
Q. Tuan Pham
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
14 years 3 months ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton
FASE
2010
Springer
14 years 4 months ago
Prescriptive Semantics for Big-Step Modelling Languages
f abstraction, providing an effective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate S...
Shahram Esmaeilsabzali, Nancy A. Day
IJCNLP
2005
Springer
14 years 3 months ago
Classifying Chinese Texts in Two Steps
Abstract. This paper proposes a two-step method for Chinese text categorization (TC). In the first step, a Naïve Bayesian classifier is used to fix the fuzzy area between two cate...
Xinghua Fan, Maosong Sun, Key-Sun Choi, Qin Zhang