1974 search results - page 220 / 395 » A Library System for Small-Scale Library |
141
click to vote
ICMCS
1994
IEEE
15 years 5 months ago
1994
IEEE
Algebraic video uses a set of basic operations on video segments to create a desired video stream. The video algebraconsists ofoperations fortemporallyand spatially combining vide...
119
click to vote
ISOOMS
1994
15 years 5 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
109
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
CLEF
2006
Springer
15 years 5 months ago
2006
Springer
In this report we describe the approach of the University of Twente to the 2006 GeoCLEF task. It is based on retrieval by content and the subsequent filtering by geographical rele...