Sciweavers

3356 search results - page 528 / 672
» Determining Consensus Numbers
Sort
View
JCIT
2010
172views more  JCIT 2010»
13 years 5 months ago
Conditional Sensor Deployment Using Evolutionary Algorithms
Sensor deployment is a critical issue, as it affects the cost and detection capabilities of a wireless sensor network. Although many previous efforts have addressed this issue, mo...
M. Sami Soliman, Guanzheng Tan
JSC
2010
100views more  JSC 2010»
13 years 5 months ago
An invariant-based approach to the verification of asynchronous parameterized networks
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
Igor V. Konnov, Vladimir A. Zakharov
MCFNS
2010
81views more  MCFNS 2010»
13 years 5 months ago
One Year's Experience with a Recreation-Grade GPS Receiver
Between September 2008 and September 2009, data were collected with a Garmin Oregon 300 recreation-grade GPS receiver nearly every day, under a variety of environmental conditions....
Pete Bettinger, SongLin Fei
PVLDB
2010
127views more  PVLDB 2010»
13 years 5 months ago
Mining Significant Semantic Locations From GPS Data
With the increasing deployment and use of GPS-enabled devices, massive amounts of GPS data are becoming available. We propose a general framework for the mining of semantically me...
Xin Cao, Gao Cong, Christian S. Jensen
SIAMADS
2010
97views more  SIAMADS 2010»
13 years 5 months ago
Localized Instability and Attraction along Invariant Manifolds
Abstract. We derive a simple criterion for transverse instabilities along a general invariant manifold of a multidimensional dynamical system. The criterion requires an appropriate...
George Haller, Themistoklis Sapsis