Sciweavers

5159 search results - page 631 / 1032
» Structural Testing of Executables
Sort
View
ICTAI
2009
IEEE
16 years 2 months ago
Change Tracer: Tracking Changes in Web Ontologies
Knowledge constantly grows in scientific discourse and is revised over time by domain experts. The body of knowledge will get structured and refined as the Communities of Practice...
Asad Masood Khattak, Khalid Latif, Manhyung Han, S...
188
Voted
COCO
2009
Springer
128views Algorithms» more  COCO 2009»
16 years 2 months ago
An Almost Optimal Rank Bound for Depth-3 Identities
—We show that the rank of a depth-3 circuit (over any field) that is simple, minimal and zero is at most O(k3 log d). The previous best rank bound known was 2O(k2 ) (log d)k−2...
Nitin Saxena, C. Seshadhri
GECCO
2009
Springer
135views Optimization» more  GECCO 2009»
16 years 2 months ago
Steady-state ALPS for real-valued problems
The objectives of this paper are to describe a steady-state version of the Age-Layered Population Structure (ALPS) Evolutionary Algorithm (EA) and to compare it against other GAs ...
Gregory S. Hornby
224
Voted
SCIA
2009
Springer
183views Image Analysis» more  SCIA 2009»
16 years 2 months ago
Globally Optimal Least Squares Solutions for Quasiconvex 1D Vision Problems
Abstract. Solutions to non-linear least squares problems play an essential role in structure and motion problems in computer vision. The predominant approach for solving these prob...
Carl Olsson, Martin Byröd, Fredrik Kahl
CDC
2008
IEEE
126views Control Systems» more  CDC 2008»
16 years 2 months ago
Design of robust decentralized controllers for drag-free satellite
Abstract— In this paper the problem of designing a decentralized robust controller for a plant describing a dragfree satellite is addressed. From recent experiences in dragfree c...
Lorenzo Pettazzi, Alexander Lanzon, Stephan Theil