Sciweavers

648 search results - page 110 / 130
» Carving differential unit test cases from system test cases
Sort
View
IPSN
2010
Springer
14 years 3 months ago
Consensus-based distributed linear support vector machines
This paper develops algorithms to train linear support vector machines (SVMs) when training data are distributed across different nodes and their communication to a centralized no...
Pedro A. Forero, Alfonso Cano, Georgios B. Giannak...
EVOW
2009
Springer
14 years 3 months ago
Validation of a Morphogenesis Model of Drosophila Early Development by a Multi-objective Evolutionary Optimization Algorithm
We apply evolutionary computation to calibrate the parameters of a morphogenesis model of Drosophila early development. The model aims to describe the establishment of the steady g...
Rui Dilão, Daniele Muraro, Miguel Nicolau, ...
ICSM
2009
IEEE
14 years 3 months ago
Maintenance and agile development: Challenges, opportunities and future directions
Software entropy is a phenomenon where repeated changes gradually degrade the structure of the system, making it hard to understand and maintain. This phenomenon imposes challenge...
Geir Kjetil Hanssen, Aiko Fallas Yamashita, Reidar...
SEMWEB
2009
Springer
14 years 3 months ago
Practical Aspects of Query Rewriting for OWL 2
Abstract. Query answering for the QL profile of OWL 2 and a substantial fragment of the EL profile can be implemented via query rewriting. In our previous work, we presented RQR...
Héctor Pérez-Urbina, Ian Horrocks, B...
ICRA
2008
IEEE
162views Robotics» more  ICRA 2008»
14 years 3 months ago
Vision-based estimation of slip angle for mobile robots and planetary rovers
— For a mobile robot it is critical to detect and compensate for slippage, especially when driving in rough terrain environments. Due to its highly unpredictable nature, drift la...
Giulio Reina, Genya Ishigami, Keiji Nagatani, Kazu...