Sciweavers

3424 search results - page 397 / 685
» Automated Testing of Classes
Sort
View
ICCBR
2007
Springer
16 years 12 days ago
A Methodology for Analyzing Case Retrieval from a Clustered Case Memory
Abstract. Case retrieval from a clustered case memory consists in finding out the clusters most similar to the new input case, and then retrieving the cases from them. Although th...
Albert Fornells, Elisabet Golobardes, Josep Maria ...
ICCS
2007
Springer
16 years 11 days ago
Validating Evolving Simulations in COERCE
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
Paul F. Reynolds Jr., Michael Spiegel, Xinyu Liu, ...
DIAL
2006
IEEE
155views Image Analysis» more  DIAL 2006»
16 years 9 days ago
Interactive Document Processing and Digital Libraries
We explore connections between digital libraries and interactive document image analysis. Digital libraries can provide useful data and metadata for research in automated document...
George Nagy, Daniel P. Lopresti
LICS
2006
IEEE
16 years 7 days ago
Two-Variable Logic on Words with Data
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentic...
MIAR
2006
IEEE
16 years 7 days ago
Tracking of Instruments in Minimally Invasive Surgery for Surgical Skill Analysis
Intraoperative assistance systems aim to improve the quality of the surgery and enhance the surgeon’s capabilities. Preferable would be a system which provides support depending ...
Stefanie Speidel, Michael Delles, Carsten Gutt, R&...