Sciweavers

2030 search results - page 228 / 406
» Extremal Problems of Information Combining
Sort
View
143
Voted
DOCENG
2007
ACM
15 years 9 months ago
A model for mapping between printed and digital document instances
The first steps towards bridging the paper-digital divide have been achieved with the development of a range of technologies that allow printed documents to be linked to digital c...
Nadir Weibel, Moira C. Norrie, Beat Signer
ESEM
2007
ACM
15 years 9 months ago
Developing Search Strategies for Detecting Relevant Experiments for Systematic Reviews
Information retrieval is an important problem in any evidence-based discipline. Although Evidencebased Software Engineering (EBSE) is not immune to this fact, this question has no...
Óscar Dieste Tubío, Anna Grimá...
ESOP
2009
Springer
15 years 9 months ago
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
Matthew R. Lakin, Andrew M. Pitts
ENC
2004
IEEE
15 years 9 months ago
Efficient Data Structures and Parallel Algorithms for Association Rules Discovery
Discovering patterns or frequent episodes in transactions is an important problem in data-mining for the purpose of infering deductive rules from them. Because of the huge size of...
Christophe Cérin, Gay Gay, Gaël Le Mah...
182
Voted
ECCV
2006
Springer
15 years 9 months ago
Consistent and Elastic Registration of Histological Sections Using Vector-Spline Regularization
Here we present a new image registration algorithm for the alignment of histological sections that combines the ideas of B-spline based elastic registration and consistent image re...
Ignacio Arganda-Carreras, Carlos Oscar Sánc...