Sciweavers

5164 search results - page 428 / 1033
» Consistency of the EKF-SLAM Algorithm
Sort
View
CACM
2008
84views more  CACM 2008»
15 years 7 months ago
The emergence of a networking primitive in wireless sensor networks
The wireless sensor network community approached netabstractions as an open question, allowing answers to emerge with time and experience. The Trickle algorithm has become a basic...
Philip Levis, Eric A. Brewer, David E. Culler, Dav...
POPL
2009
ACM
16 years 7 months ago
Bidirectionalization for free! (Pearl)
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
Janis Voigtländer
BPSC
2009
240views Business» more  BPSC 2009»
15 years 8 months ago
Modelling and Solving Configuration Problems on Business Processes Using a Multi-Level Constraint Satisfaction Approach
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...
Wolfgang Runte
BIODATAMINING
2008
140views more  BIODATAMINING 2008»
15 years 7 months ago
Modeling gene-by-environment interaction in comorbid depression with alcohol use disorders via an integrated bioinformatics appr
Background: Comorbidity of Major Depressive Disorder (depression) and Alcohol Use Disorders (AUD) is well documented. Depression, AUD, and the comorbidity of depression with AUD s...
Richard C. McEachin, Benjamin J. Keller, Erika F. ...
CORR
2004
Springer
124views Education» more  CORR 2004»
15 years 6 months ago
On the existence of stable models of non-stratified logic programs
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
Stefania Costantini