961 search results - page 92 / 193 » Automatic design synthesis with artificial intelligence tech... |
141
click to vote
CP
2010
Springer
15 years 4 months 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...
138
click to vote
FPGA
2004
ACM
15 years 11 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...
187
click to vote
CACM
2000
15 years 6 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...
185
click to vote
CP
2000
Springer
15 years 10 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...
184
click to vote
DIAGRAMS
2004
Springer
15 years 11 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”...