3379 search results - page 94 / 676 » Combinators for Interaction Nets |
195
click to vote
CGIM
2003
15 years 7 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...
126
click to vote
WWW
2007
ACM
16 years 6 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...
137
Voted
APN
2007
Springer
15 years 11 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 ...
142
Voted
ISQED
2005
IEEE
15 years 11 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...
146
Voted
MICRO
2005
IEEE
15 years 11 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...