610 search results - page 72 / 122 » Generating Research Websites Using Summarisation Techniques |
AAAI
2006
14 years 11 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
157
click to vote
TSE
2010
14 years 4 months ago
2010
Abstract-- Code and design smells are poor solutions to recurring implementation and design problems. They may hinder the evolution of a system by making it hard for software engin...
LCPC
2001
Springer
15 years 2 months ago
2001
Springer
This paper discusses the potential benefits of applicationspecific power management through remote task execution. Power management is crucial for mobile devices that have to re...
SIGGRAPH
1998
ACM
15 years 2 months ago
1998
ACM
Over the years, there have been two main branches of computer graphics image-synthesis research; one focused on interactivity, the other on image quality. Procedural shading is a ...
AAMAS
2005
Springer
14 years 9 months ago
2005
Springer
A Multi-linked negotiation problem occurs when an agent needs to negotiate with multiple other agents about different subjects (tasks, conflicts, or resource requirements), and th...