961 search results - page 92 / 193 » Automatic design synthesis with artificial intelligence tech... |
CP
2010
Springer
15 years 13 hour ago
2010
Springer
In this paper we show that the power of using k-consistency techniques in a constraint problem is precisely captured by using a particular inference rule, which we call positive-hy...
FPGA
2004
ACM
15 years 6 months ago
2004
ACM
Traditional metrics used to compare hardware designs include area, performance, and power. However, these metrics do not form a complete evaluation of reconfigurable hardware. For...
114
click to vote
CACM
2000
15 years 1 months ago
2000
Today's Web sites are intricate but not intelligent; while Web navigation is dynamic and idiosyncratic, all too often Web sites are fossils cast in HTML. In response, this pa...
125
click to vote
CP
2000
Springer
15 years 5 months ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
126
click to vote
DIAGRAMS
2004
Springer
15 years 6 months ago
2004
Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...