Sciweavers

12745 search results - page 2239 / 2549
» Automating test automation
Sort
View
185
Voted
IVC
2008
74views more  IVC 2008»
15 years 7 months ago
Log-polar mapping template design: From task-level requirements to geometry parameters
The best parameters defining the geometry of a visual sensor generally depend on the particular visual task the sensor is intended to be used in. However, translating task require...
V. Javier Traver, Filiberto Pla
JAIR
2008
126views more  JAIR 2008»
15 years 7 months ago
Extended RDF as a Semantic Foundation of Rule Markup Languages
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
Anastasia Analyti, Grigoris Antoniou, Carlos Viega...
200
Voted
JAR
2008
107views more  JAR 2008»
15 years 7 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
IJON
2006
127views more  IJON 2006»
15 years 7 months ago
Evolved neural networks based on cellular automata for sensory-motor controller
Constructing the controller of a mobile robot has several issues to be addressed: how to automate behavior generation procedure, how to insert available domain knowledge effective...
Kyung-Joong Kim, Sung-Bae Cho
CORR
2007
Springer
110views Education» more  CORR 2007»
15 years 7 months ago
On formulas for decoding binary cyclic codes
— We address the problem of the algebraic decoding of any cyclic code up to the true minimum distance. For this, we use the classical formulation of the problem, which is to fin...
Daniel Augot, Magali Bardet, Jean-Charles Faug&egr...
« Prev « First page 2239 / 2549 Last » Next »