Sciweavers

1974 search results - page 212 / 395
» A Library System for Small-Scale Library
Sort
View
133
Voted
ERCIMDL
2007
Springer
110views Education» more  ERCIMDL 2007»
15 years 8 months ago
Annotation-Based Document Retrieval with Probabilistic Logics
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...
Ingo Frommholz
ISSAC
2007
Springer
131views Mathematics» more  ISSAC 2007»
15 years 8 months ago
Some recent progress in exact linear algebra and related questions
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
Gilles Villard
95
Voted
TACAS
2007
Springer
117views Algorithms» more  TACAS 2007»
15 years 7 months ago
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
102
Voted
UM
2007
Springer
15 years 7 months ago
Principles of Lifelong Learning for Predictive User Modeling
Predictive user models often require a phase of effortful supervised training where cases are tagged with labels that represent the status of unobservable variables. We formulate a...
Ashish Kapoor, Eric Horvitz
CCGRID
2006
IEEE
15 years 7 months ago
MPI-Mitten: Enabling Migration Technology in MPI
Group communications are commonly used in parallel and distributed environment. However, existing migration mechanisms do not support group communications. This weakness prevents ...
Cong Du, Xian-He Sun