Sciweavers

6941 search results - page 472 / 1389
» Testing as a Certification Approach
Sort
View
CSDA
2006
71views more  CSDA 2006»
15 years 7 months ago
Computation of Huber's M-estimates for a block-angular regression problem
Huber's M-estimation technique is applied to a block-angular regression problem, which may arise from some applications. A recursive, modified Newton approach to computing th...
Xiao-Wen Chang
IJFCS
2008
81views more  IJFCS 2008»
15 years 7 months ago
Reachability Analysis in Verification via Supercompilation
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
Alexei Lisitsa, Andrei P. Nemytykh
KI
2006
Springer
15 years 6 months ago
Building Robots with Analogy-Based Anticipation
A new approach to building robots with anticipatory behavior is presented. This approach is based on analogy with a single episode from the past experience of the robot. The AMBR m...
Georgi Petkov, Tchavdar Naydenov, Maurice Grinberg...
AUTOMATICA
2004
122views more  AUTOMATICA 2004»
15 years 6 months ago
Variable structure control of a class of uncertain systems
This brief paper proposes a method for tuning the parameters of a variable structure controller. The approach presented extracts the error at the output of the controller and appl...
Mehmet Önder Efe, Cem Ünsal, Okyay Kayna...
CORR
1999
Springer
112views Education» more  CORR 1999»
15 years 6 months ago
Learning Transformation Rules to Find Grammatical Relations
Grammatical relationships are an important level of natural language processing. We present a trainable approach to find these relationships through transformation sequences and-e...
Lisa Ferro, Marc B. Vilain, Alexander S. Yeh