10289 search results - page 1971 / 2058 » Standard bases in K |
155
click to vote
QEST
2006
IEEE
16 years 9 days ago
2006
IEEE
This talk will provide an overview of work that I have done with Hana Chockler, Orna Kupferman, and Judea Pearl [1, 2, 10, 9] on defining notions such as causality, explanation, ...
177
click to vote
VTC
2006
IEEE
16 years 9 days ago
2006
IEEE
— Group Communication services have become more and more important in mobile ad hoc networks (MANETs). The use of multicast transmission techniques in MANETs has been shown to ha...
199
click to vote
ASPLOS
2006
ACM
16 years 8 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
152
click to vote
CASES
2006
ACM
16 years 8 days ago
2006
ACM
Computer architects are constantly faced with the need to improve performance and increase the efficiency of computation in their designs. To this end, it is increasingly common ...
156
click to vote
DAC
2006
ACM
16 years 8 days ago
2006
ACM
Until recently, most 3D graphics applications had been regarded as too computationally intensive for devices other than desktop computers and gaming consoles. This notion is rapid...