961 search results - page 46 / 193 » Automatic design synthesis with artificial intelligence tech... |
113
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
AI
2007
Springer
15 years 7 months ago
2007
Springer
We describe an architecture for organizing and summarizing consumer reviews about products that have been posted on specialized web sites. The core technology is based on the autom...
AIED
2005
Springer
15 years 6 months ago
2005
Springer
As web-enhanced courses become more successful, they put considerable burdens on instructors and teaching assistants. We present our work on developing software tools to support in...
MICAI
2004
Springer
15 years 6 months ago
2004
Springer
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns whic...
107
click to vote
AI
2000
Springer
15 years 5 months ago
2000
Springer
Domain independent planners can produce better-quality plans through the use of domain-speci c knowledge, typically encoded as search control rules. The planning-by-rewriting appro...