4609 search results - page 402 / 922 » Automatic Generation of Sigma-Protocols |
167
click to vote
IJCAI
2007
15 years 8 months ago
2007
As any other problem solving task that employs search, AI Planning needs heuristics to efficiently guide the problem-space exploration. Machine learning (ML) provides several tec...
196
click to vote
AAI
2005
15 years 6 months ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
191
click to vote
TITB
2008
15 years 6 months ago
2008
A fuzzy rule-based decision support system (DSS) is presented for the diagnosis of coronary artery disease (CAD). The system is automatically generated from an initial annotated da...
169
click to vote
TOG
2008
15 years 6 months ago
2008
In this paper, we introduce a simple sketching method to generate a realistic 3D tree model from a single image. The user draws at least two strokes in the tree image: the first c...
196
click to vote
ICIDS
2009
Springer
16 years 1 months ago
2009
Springer
We suggest harvesting the power of multiplayer design to bridge content across different media platforms and develop player-driven cross-media experiences. This paper first argues ...