Sciweavers

1465 search results - page 35 / 293
» Making the Correct Mistakes
Sort
View
TOOLS
2009
IEEE
15 years 4 months ago
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
Christian Kästner, Sven Apel, Salvador Trujil...
DEXA
1998
Springer
90views Database» more  DEXA 1998»
15 years 1 months ago
On the Correctness of a Transaction Model for Mobile Computing
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...
Sanjay Kumar Madria, Bharat K. Bhargava
63
Voted
ICRA
1994
IEEE
96views Robotics» more  ICRA 1994»
15 years 1 months ago
The CLAPPER: A Dual-Drive Mobile Robot with Internal Correction of Dead-Reckoning Errors
This paper presents a new approach to accurate and reliable dead-reckoning with mobile robots. The approach makes use of special properties of our recently developed Multi-Degreeo...
Johann Borenstein
AI
2010
Springer
14 years 11 months ago
Improving Multiclass Text Classification with Error-Correcting Output Coding and Sub-class Partitions
Error-Correcting Output Coding (ECOC) is a general framework for multiclass text classification with a set of binary classifiers. It can not only help a binary classifier solve mul...
Baoli Li, Carl Vogel
SEBD
2000
112views Database» more  SEBD 2000»
14 years 11 months ago
Correct and efficient evaluation of region-based image search
Abstract. Content-based image retrieval systems allow the user to interactively search image databases looking for those images which are similar to a specified query image. To thi...
Ilaria Bartolini, Marco Patella