Sciweavers

1231 search results - page 151 / 247
» A Framework for Belief Update
Sort
View
100
Voted
ESAW
2009
Springer
15 years 7 months ago
Incorporating BDI Agents into Human-Agent Decision Making Research
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...
Bart Kamphorst, Arlette van Wissen, Virginia Dignu...
90
Voted
PRIMA
2009
Springer
15 years 7 months ago
An Empirical Study of Agent Programs
Agent-oriented programming has been motivated in part by the conception that high-level programming constructs based on common tions such as beliefs and goals provide appropriate a...
M. Birna van Riemsdijk, Koen V. Hindriks
SAT
2009
Springer
91views Hardware» more  SAT 2009»
15 years 7 months ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
97
Voted
KCAP
2009
ACM
15 years 7 months ago
Formally measuring agreement and disagreement in ontologies
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...
Mathieu d'Aquin
138
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
Throughput Analysis of Randomized Sleep Scheduling with Constrained Connectivity in Wireless Sensor Networks
Abstract—In this paper, we investigate and analyze the expected per-node throughput in a wireless sensor network under a randomized sleep scheduling framework with a connectivity...
Youngsang Kim, Changwoo Yang, Chun-Hung Liu