Sciweavers

638 search results - page 113 / 128
» A New Approach to Tractable Planning
Sort
View
JMLR
2008
209views more  JMLR 2008»
13 years 7 months ago
Bayesian Inference and Optimal Design for the Sparse Linear Model
The linear model with sparsity-favouring prior on the coefficients has important applications in many different domains. In machine learning, most methods to date search for maxim...
Matthias W. Seeger
AI
2004
Springer
13 years 7 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao
MONET
2007
106views more  MONET 2007»
13 years 7 months ago
Shakra: Tracking and Sharing Daily Activity Levels with Unaugmented Mobile Phones
This paper explores the potential for use of an unaugmented commodity technology—the mobile phone— as a health promotion tool. We describe a prototype application that tracks t...
Ian Anderson, Julie Maitland, Scott Sherwood, Loui...
AI
2011
Springer
13 years 2 months ago
A survey of motivation frameworks for intelligent systems
The ability to achieve one’s goals is a defining characteristic of intelligent behaviour. A great many existing theories, systems and research programmes address the problems a...
Nick Hawes
CSMR
2010
IEEE
13 years 2 months ago
Using Architecturally Significant Requirements for Guiding System Evolution
Rapidly changing technology is one of the key triggers of system evolution. Some examples are: physically relocating a data center; replacement of infrastructure such as migrating ...
Ipek Ozkaya, J. Andrés Díaz Pace, Ar...