Sciweavers

641 search results - page 84 / 129
» A Study in Coverage-Driven Test Generation
Sort
View
SBBD
2003
134views Database» more  SBBD 2003»
14 years 11 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
14 years 11 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
14 years 11 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
14 years 10 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
14 years 9 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