Sciweavers

641 search results - page 84 / 129
» A Study in Coverage-Driven Test Generation
Sort
View
149
Voted
SBBD
2003
134views Database» more  SBBD 2003»
15 years 2 months ago
Performance and Quality Evaluation of a Personalized Route Planning System
Advanced personalization of database applications is a big challenge, in particular for distributed mobile environments. We present several new results from a prototype of a route...
Wolf-Tilo Balke, Werner Kießling, Christoph ...
ACL
1998
15 years 2 months ago
Towards a Single Proposal in Spelling Correction
The study presented here relies on the integrated use of different kinds of knowledge in order to improve first-guess accuracy in non-word context-sensitive correction for general...
Eneko Agirre, Koldo Gojenola Galletebeitia, Kepa S...
AIPS
2000
15 years 2 months ago
New Results about LCGP, a Least Committed GraphPlan
Planners from the family of Graphplan (Graphplan, IPP, STAN...) are presently considered as the most efficient ones on numerous planning domains. Their partially ordered plans can...
Michel Cayrol, Pierre Régnier, Vincent Vida...
BMEI
2009
IEEE
15 years 2 months ago
Cell Clumping Quantification and Automatic Area Classification in Peripheral Blood Smear Images
Cell enumeration in peripheral blood smears and cell are widely applied in biological and pathological practice. Not every area in the smear is appropriate for enumeration due to ...
Wei Xiong, S. H. Ong, Christina Kang, Joo-Hwee Lim...
HASE
2008
IEEE
15 years 1 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri