Sciweavers

4835 search results - page 367 / 967
» Intelligent Selection Tools
Sort
View
EVOW
2000
Springer
15 years 10 months ago
Prediction of Power Requirements for High-Speed Circuits
Modern VLSI design methodologies and manufacturing technologies are making circuits increasingly fast. The quest for higher circuit performance and integration density stems from f...
Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Re...
AAAI
2008
15 years 9 months ago
A Meta-Programming Technique for Debugging Answer-Set Programs
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....
Martin Gebser, Jörg Pührer, Torsten Scha...
AIIDE
2007
15 years 9 months ago
A Demonstration of SQUEGE: A CRPG Sub-Quest Generator
Scripting the plot in a computer role-playing game requires a large number of scripts that are difficult to program, track and maintain. Game adventures often include simple plot...
Curtis Onuczko, Duane Szafron, Jonathan Schaeffer,...
AIPS
2007
15 years 9 months ago
An Innovative Product for Space Mission Planning: An A Posteriori Evaluation
This paper describes MEXAR2, a software tool that is currently used to synthesize the operational commands for data downlink from the on-board memory of an interplanetary space mi...
Amedeo Cesta, Gabriella Cortellessa, Simone Fratin...
ICAIL
2007
ACM
15 years 8 months ago
Terminological and ontological analysis of European directives: multilinguism in law
This paper describes the philosophy behind our tool called “Legal Taxonomy Syllabus”, the analytical instruments it provides and some case studies. The Legal Taxonomy Syllabus...
Gianmaria Ajani, Leonardo Lesmo, Guido Boella, Ale...