43264 search results - page 8238 / 8653 » Comparing models of computation |
140
Voted
WEBDB
2000
Springer
15 years 7 months ago
2000
Springer
Rewriting queries using views is a powerful technique that has applications in data integration, data warehousing and query optimization. Query rewriting in relational databases i...
157
Voted
GIS
1995
ACM
15 years 7 months ago
1995
ACM
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...
163
Voted
ICTAI
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
135
Voted
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
147
Voted
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
In this paper, a new approach to analog test design based on the circuit design process, called Characteristic Observation Inference (COI), is presented. In many situations, it is...