1026 search results - page 164 / 206 » A Methodology for Equational Reasoning |
SIGGRAPH
2000
ACM
14 years 2 days ago
2000
ACM
Advances in 3D scanning technologies have enabled the practical creation of meshes with hundreds of millions of polygons. Traditional algorithms for display, simplification, and ...
IEAAIE
1999
Springer
13 years 12 months ago
1999
Springer
This paper describes the design of the Bus Timetabling System (BTS) we have developed for one of the largest privately held bus companies in the world. This Bus Company operates cl...
ICCS
1998
Springer
13 years 12 months ago
1998
Springer
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...
PAKDD
1998
ACM
13 years 12 months ago
1998
ACM
The use of Data Mining in removing current bottlenecks within Case-based Reasoning (CBR) systems is investigated along with the possible role of CBR in providing a knowledge manag...
ACNS
2009
Springer
13 years 11 months ago
2009
Springer
Side-channel attacks are an important class of attacks against cryptographic devices and profiled side-channel attacks are the most powerful type of side-channel attacks. In this s...