12183 search results - page 1997 / 2437 » Computers under Attacks! |
134
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
197
click to vote
LPAR
1999
Springer
15 years 11 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
230
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
Virtual RoboCup is a real-time 3D visualization tool for 2D simulated soccer games as played in the RoboCup simulation league. Players are modeled as anthropmorphic gures and anima...
162
click to vote
LICS
1998
IEEE
15 years 11 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
182
click to vote
SRDS
1998
IEEE
15 years 11 months ago
1998
IEEE
In the paper, an e cient image database system is developed. The most important features of the proposed system include compressed domain indexing, searching by using scalable fea...