Sciweavers

9325 search results - page 1445 / 1865
» The decentralized implementability problem
Sort
View
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
2008
15 years 9 months ago
An Intelligent IDE for Behavior Authoring in Real-Time Strategy Games
Behavior authoring for computer games involves writing behaviors in a programming language and then iteratively refining them by detecting issues with them. The main bottlenecks a...
Suhas Virmani, Yatin Kanetkar, Manish Mehta, Santi...
AVI
2008
15 years 9 months ago
Shadow tracking on multi-touch tables
Multi-touch interfaces have been a focus of research in recent years, resulting in development of various innovative UI concepts. Support for existing WIMP interfaces, however, sh...
Florian Echtler, Manuel Huber, Gudrun Klinker
FLAIRS
2007
15 years 9 months ago
Autonomous Classification of Knowledge into an Ontology
Ontologies are an increasingly important tool in knowledge representation, as they allow large amounts of data to be related in a logical fashion. Current research is concentrated...
Matthew E. Taylor, Cynthia Matuszek, Bryan Klimt, ...
FAST
2008
15 years 9 months ago
Write Off-Loading: Practical Power Management for Enterprise Storage
In enterprise data centers power usage is a problem impacting server density and the total cost of ownership. Storage uses a significant fraction of the power budget and there are...
Dushyanth Narayanan, Austin Donnelly, Antony I. T....
« Prev « First page 1445 / 1865 Last » Next »