9503 search results - page 1519 / 1901 » Authenticated System Calls |
195
click to vote
ILP
2003
Springer
16 years 1 days ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
182
click to vote
IPTPS
2003
Springer
16 years 1 days ago
2003
Springer
We are building Coral, a peer-to-peer content distribution system. Coral creates self-organizing clusters of nodes that fetch information from each other to avoid communicating wi...
197
click to vote
CHI
2010
ACM
15 years 12 months ago
2010
ACM
We present a tangible user interface (TUI) called Tangible Graph Builder, that has been designed to allow visually impaired users to access graph and chart-based data. We describe...
298
click to vote
ASIAMS
2009
IEEE
15 years 12 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
179
click to vote
CF
2010
ACM
15 years 12 months ago
2010
ACM
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...