1974 search results - page 228 / 395 » A Library System for Small-Scale Library |
152
click to vote
DRR
2011
14 years 1 months ago
2011
In this paper we describe a scheme to enhance the usability of Tablet PC handwriting recognition systems by creating a software module for recognizing symbols that are not a part ...
109
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
126
click to vote
ISPASS
2007
IEEE
15 years 8 months ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
154
click to vote
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
114
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...