Sciweavers

1974 search results - page 212 / 395
» A Library System for Small-Scale Library
Sort
View
ERCIMDL
2007
Springer
110views Education» more  ERCIMDL 2007»
16 years 18 days 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»
16 years 17 days 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
TACAS
2007
Springer
117views Algorithms» more  TACAS 2007»
16 years 16 days 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...
UM
2007
Springer
16 years 16 days 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
16 years 15 days 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