6608 search results - page 1159 / 1322 » On the Completeness of Model Checking |
162
click to vote
IPSN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract— This paper considers the problem of tracking objects with sparsely located binary sensors. Tracking with a sensor network is a challenging task due to the inaccuracy of...
131
click to vote
IPTPS
2005
Springer
15 years 10 months ago
2005
Springer
The early peer-to-peer applications eschewed commercial arrangements and instead established a grass-roots model in which the collection of end-users provided their own distribute...
132
click to vote
ISMIR
2005
Springer
15 years 10 months ago
2005
Springer
Audio descriptor extraction is the activity of finding mathematical models which describe properties of the sound, requiring signal processing skills. The scientific literature pr...
114
click to vote
MICAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
130
click to vote
MIDDLEWARE
2005
Springer
15 years 10 months ago
2005
Springer
We present WildCAT, an extensible Java framework to ease the creation of context-aware applications. WildCAT provides a simple yet powerful dynamic model to represent an applicati...