2585 search results - page 509 / 517 » computer 1999 |
DAGM
1999
Springer
14 years 26 days ago
1999
Springer
Both, the number and the size of spatial databases, such as geographic or medical databases, are rapidly growing because of the large amount of data obtained from satellite images,...
DBPL
1999
Springer
14 years 26 days ago
1999
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and focus on the potential of programming languages for such databases to express queries...
MICRO
1999
IEEE
14 years 26 days ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
MSS
1999
IEEE
14 years 26 days ago
1999
IEEE
In computer systems today, speed and responsiveness is often determined by network and storage subsystem performance. Faster, more scalable networking interfaces like Fibre Channe...
EUROCOLT
1999
Springer
14 years 26 days ago
1999
Springer
The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds ...