16626 search results - page 3275 / 3326 » Computing is a natural science |
131
click to vote
EH
1999
IEEE
15 years 5 months ago
1999
IEEE
We address the fundamental issue of fully automated design (FAD) and construction of inexpensive robots and their controllers. Rather than seek an intelligent general purpose robo...
112
click to vote
DBPL
1999
Springer
15 years 5 months 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...
102
click to vote
MICRO
1999
IEEE
15 years 5 months 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 ...
113
click to vote
VLDB
1999
ACM
15 years 5 months ago
1999
ACM
We describe the architecture of a hypertext resource discovery system using a relational database. Such a system can answer questions that combine page contents, metadata, and hyp...
111
click to vote
PLDI
1998
ACM
15 years 5 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...