4421 search results - page 248 / 885 » Libraries |
106
click to vote
ERCIMDL
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Anyone offering content in a digital library is naturally interested in assessing its performance: how well does my system meet the users' information needs? Standar...
STTT
2008
15 years 1 months ago
2008
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
ARTMED
2005
15 years 1 months ago
2005
Objectives: We present the summarization system in the PERSIVAL medical digital library. Although we discuss the context of our summarization research within the PERSIVAL platform...
ENTCS
2002
15 years 1 months ago
2002
Most problems in computational geometry are algebraic. A general approach to address nonrobustness in such problems is Exact Geometric Computation (EGC). There are now general lib...
143
Voted
CONCURRENCY
1998
15 years 1 months ago
1998
Message passing libraries such as Parallel Virtual Machine PVM and Message Passing Interface MPI provide a common Application Programming Interface API to implement parallel...