Sciweavers

742 search results - page 68 / 149
» Argumentative alternating offers
Sort
View
FECS
2006
101views Education» more  FECS 2006»
15 years 1 months ago
Providing Application Services for Small Businesses
- Many small businesses require distributed information systems but do not have the resources to develop, host or maintain them. An alternative approach may be to offer the softwar...
Carol Lushbough
IJCAI
2003
15 years 1 months ago
Corpus-Based Knowledge Representation
A corpus-based knowledge representation system consists of a large collection of disparate knowledge fragments or schemas, and a rich set of statistics computed over the corpus. W...
Alon Y. Halevy, Jayant Madhavan
NIPS
2003
15 years 1 months ago
Linear Program Approximations for Factored Continuous-State Markov Decision Processes
Approximate linear programming (ALP) has emerged recently as one of the most promising methods for solving complex factored MDPs with finite state spaces. In this work we show th...
Milos Hauskrecht, Branislav Kveton
BIRTHDAY
2010
Springer
15 years 2 days ago
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
Moa Johansson, Lucas Dixon, Alan Bundy
ICASSP
2010
IEEE
15 years 1 days ago
Particle filter adaptation for distributed sensors via set membership
A distributed set-membership-constrained particle filter (SMCPF) is developed for decentralized tracking applications using wireless sensor networks. Unlike existing PF alternati...
Shahrokh Farahmand, Stergios I. Roumeliotis, Georg...