3082 search results - page 292 / 617 » Deviation Analysis: A New Use of Model Checking |
208
click to vote
RTSS
2007
IEEE
16 years 28 days ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
231
click to vote
CAIP
2007
Springer
16 years 25 days ago
2007
Springer
— Background subtraction is a method commonly used to segment objects of interest in image sequences. By comparing new frames to a background model, regions of interest can be fo...
140
click to vote
CIARP
2006
Springer
15 years 10 months ago
2006
Springer
The detection and modeling of the human spine from scanned 3D data is an important issue in biomedical shape analysis. It can be useful for avoiding invasive treatments like radiog...
167
click to vote
PPL
2007
15 years 6 months ago
2007
ract problem of using P failure-prone processors to cooperatively update all locations of an N-element shared array is called Write-All. Solutions to Write-All can be used iterati...
186
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...