1941 search results - page 372 / 389 » Reasoning about Computations Using Two-Levels of Logic |
131
click to vote
POPL
1989
ACM
15 years 3 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
100
click to vote
VIS
2009
IEEE
16 years 29 days ago
2009
IEEE
Many techniques have been proposed to show uncertainty in data visualizations. However, very little is known about their effectiveness in conveying meaningful information. In this ...
119
click to vote
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— A major barrier preventing the wide employment of mobile networks of robots in tasks such as exploration, mapping, surveillance, and environmental monitoring is the lack of ef...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
The definition of a commodity component is quite obvious when it comes to the PC as a basic compute engine and building block for clusters of PCs. Looking at the options for a mo...
105
Voted
ICS
2003
Tsinghua U.
15 years 5 months ago
2003
Tsinghua U.
We describe the architecture for a single-chip aegis processor which can be used to build computing systems secure against both physical and software attacks. Our architecture ass...