Sciweavers

1617 search results - page 175 / 324
» Knowledge Condition Games
Sort
View
ISIPTA
2003
IEEE
145views Mathematics» more  ISIPTA 2003»
14 years 4 months ago
An Extended Set-valued Kalman Filter
Set-valued estimation offers a way to account for imprecise knowledge of the prior distribution of a Bayesian statistical inference problem. The set-valued Kalman filter, which p...
Darryl Morrell, Wynn C. Stirling
ATAL
2007
Springer
14 years 2 months ago
Negotiation by abduction and relaxation
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
Chiaki Sakama, Katsumi Inoue
BIRTHDAY
2006
Springer
14 years 2 months ago
Complete Categorical Deduction for Satisfaction as Injectivity
Birkhoff (quasi-)variety categorical axiomatizability results have fascinated many scientists by their elegance, simplicity and generality. The key factor leading to their generali...
Grigore Rosu
MICRO
2000
IEEE
162views Hardware» more  MICRO 2000»
14 years 2 months ago
Accurate and efficient predicate analysis with binary decision diagrams
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
John W. Sias, Wen-mei W. Hwu, David I. August
ACMIDC
2010
14 years 2 months ago
Digital inclusion in Chilean in rural schools
This paper analyzes conditions for improving digital inclusion in Chilean rural schools, using a multidimensional definition of digital divide. Using qualitative and quantitative ...
Jaime Sánchez