Sciweavers

2632 search results - page 254 / 527
» Predictive Representations of State
Sort
View
HICSS
2009
IEEE
99views Biometrics» more  HICSS 2009»
16 years 1 months ago
Local-Global: Reconciling Mismatched Ontologies in Development Information Systems
This paper extends pre-existing digital divide conceptualizations to further investigate the important issue of mismatches between the ontologies of state-created information syst...
Jessica Seddon Wallack, Ramesh Srinivasan
CONTEXT
2007
Springer
16 years 20 days ago
Coping with Unconsidered Context of Formalized Knowledge
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
Stefan Mandl, Bernd Ludwig
ISIPTA
2005
IEEE
168views Mathematics» more  ISIPTA 2005»
16 years 2 days ago
Bayesianism Without Priors, Acts Without Consequences
: A generalization of subjective expected utility is presented in which the primitives are a finite set of states of the world, a finite set of strategies available to the decision...
Robert Nau
ICRA
2003
IEEE
151views Robotics» more  ICRA 2003»
15 years 11 months ago
Adaptive real-time particle filters for robot localization
— Particle filters have recently been applied with great success to mobile robot localization. This success is mostly due to their simplicity and their ability to represent arbi...
Cody C. T. Kwok, Dieter Fox, Marina Meila
ISSTA
1998
ACM
15 years 10 months ago
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
Tevfik Bultan, Richard Gerber, Christopher League