Sciweavers

3889 search results - page 413 / 778
» A Framework for Optimizing Paper Matching
Sort
View
KBSE
1999
IEEE
15 years 11 months ago
An Integration of Deductive Retrieval into Deductive Synthesis
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
Bernd Fischer 0002, Jon Whittle
AMR
2006
Springer
137views Multimedia» more  AMR 2006»
15 years 10 months ago
A General Principled Method for Image Similarity Validation
A novel and general criterion for image similarity validation is introduced using the so-called a contrario decision framework. It is mathematically proved that it is possible to c...
Frédéric Cao, Patrick Bouthemy
ECIS
2003
15 years 8 months ago
E-learning and SMEs: do demand and supply speak the same language?
This paper reports on research-in-progress designed to understand adoption and diffusion of e-learning (EL) among small and medium-sized enterprises (SMEs) in northern Italy. The ...
Paola Bielli, Jane E. Klobas
IM
2003
15 years 8 months ago
Enabling PreOS Desktop Management
: Desktop management is probably the most resource-consuming task for the typical operations and support team, regardless of being frequently overlooked as not as complex or specia...
Tiago Cruz, Paulo Simões
UAI
2004
15 years 8 months ago
A Hierarchical Graphical Model for Record Linkage
The task of matching co-referent records is known among other names as record linkage. For large record-linkage problems, often there is little or no labeled data available, but u...
Pradeep D. Ravikumar, William W. Cohen