4513 search results - page 252 / 903 » Modeling with a Sense of Purpose |
173
click to vote
HVC
2005
Springer
16 years 4 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
150
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
We describe a model predicting the output torque of the battery-amplifier-actuator-gear combination used on the hexapod robot RHex, based on requested PWM (PulseWidth-Modulation) ...
269
click to vote
DCOSS
2011
Springer
14 years 6 months ago
2011
Springer
—Given a set of sensor nodes V where each node wants to broadcast a message to all its neighbors that are within a certain broadcasting range, the local broadcasting problem is t...
160
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— The paper considers the algorithm NLU for distributed (vector) parameter estimation in sensor networks, where, the local observation models are nonlinear, and inter-sen...
204
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Detecting event frontline or boundary sensors in a complex sensor network environment is one of the critical problems for sensor network applications. In this paper, we propose ...