C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Improving Sensornet Performance by Separating System Configuration from System Logic.
Niclas Finne
Joakim Eriksson
Nicolas Tsiftes
Adam Dunkels
Thiemo Voigt
Published in:
EWSN (2010)
Keyphrases
</>
logic programming
database
automated reasoning
classical logic
formal theory
computer vision
bayesian networks
modal logic
computational properties
sound and complete axiomatization