Sciweavers

638 search results - page 113 / 128
» A New Approach to Tractable Planning
Sort
View
JMLR
2008
209views more  JMLR 2008»
15 years 6 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
15 years 5 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»
15 years 5 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
15 years 1 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
15 years 29 days 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...