3379 search results - page 94 / 676 » Combinators for Interaction Nets |
174
click to vote
CGIM
2003
15 years 5 months ago
2003
This article presents a framework for incorporating commonly used VR (Virtual Reality) databases for graphics and physics simulation into an AI (Artificial Intelligence) knowledg...
115
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
We present YAGO, a light-weight and extensible ontology with high coverage and quality. YAGO builds on entities and relations and currently contains more than 1 million entities a...
117
click to vote
APN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
123
click to vote
ISQED
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— To achieve small delay and low crosstalk for multiple signal nets with capacitive and inductive coupling, we propose in this paper a novel interconnect structure, stagg...
128
click to vote
MICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
The performance of a dynamic optimization system depends heavily on the code it selects to optimize. Many current systems follow the design of HP Dynamo and select a single interp...