1974 search results - page 169 / 395 » A Library System for Small-Scale Library |
116
click to vote
DIAL
2006
IEEE
15 years 5 months ago
2006
IEEE
We are developing a recognition system, named `Infty', for scientific documents including those with mathematical formulae. In this paper, we propose a new system that can re...
158
click to vote
TOPLAS
2010
15 years 9 days ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
138
click to vote
ESORICS
2002
Springer
16 years 1 months ago
2002
Springer
We consider the problem of offloading secure access-controlled content from central origin servers to distributed caches so clients can access a proximal cache rather than the orig...
108
click to vote
HOTDEP
2008
15 years 4 months ago
2008
Database systems are a key component behind many of today's computer systems. As a consequence, it is crucial that database systems provide correct and continuous service des...
115
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
Evolutionary Computation is an exciting research field with the power to assist researchers in the task of solving hard optimization problems (i.e., problems where the exploitabl...