15754 search results - page 566 / 3151 » Programs are Knowledge Bases |
169
click to vote
EUROPAR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We present a relational algebra based framework for compiling e cient sparse matrix code from dense DO-ANY loops and a speci cation of the representation of the sparse ma...
216
click to vote
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
Hybridconnectionist symbolic systems have been the subject of muchrecent research in AI. By focusing on the implementation of highlevel human cognitive processes e.g., rule-based i...
216
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Field programmable dual-Vdd interconnects are effective to reduce FPGA power. Assuming uniform length interconnects, existing work has developed time slack budgeting to minimize p...
246
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Programming a humanoid robot to perform an action that takes the robot’s complex dynamics into account is a challenging problem. Traditional approaches typically require high...
211
click to vote
ISSTA
2004
ACM
16 years 16 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...