4421 search results - page 112 / 885 » Libraries |
213
Voted
MKM
2004
Springer
16 years 2 days ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
181
click to vote
CSMR
2003
IEEE
16 years 8 hour ago
2003
IEEE
There may be several reasons to reduce a software system to its bare bone removing the extra fat introduced during development or evolution. Porting the software system on embedde...
146
click to vote
HICSS
2003
IEEE
16 years 3 hour ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
164
click to vote
JCDL
2003
ACM
15 years 12 months ago
2003
ACM
Niche Search Engines offer an efficient alternative to traditional search engines when the results returned by general-purpose search engines do not provide a sufficient degree of...
196
Voted
ICADL
2003
Springer
15 years 12 months ago
2003
Springer
We designed and implemented a digital library system that supports content-based retrieval of multimedia objects based on MPEG-7 and XQuery. MPEG-7, a metadata standard for multim...