Sciweavers

1299 search results - page 163 / 260
» Quantitative Simulation Games
Sort
View
IGARSS
2010
15 years 1 months ago
Recent developments in sparse hyperspectral unmixing
This paper explores the applicability of new sparse algorithms to perform spectral unmixing of hyperspectral images using available spectral libraries instead of resorting to well...
Marian-Daniel Iordache, Antonio J. Plaza, Jos&eacu...
110
Voted
IPPS
2010
IEEE
15 years 1 months ago
Evaluating database-oriented replication schemes in Software Transactional Memory systems
Software Transactional Memories (STMs) are emerging as a highly attractive programming model, thanks to their ability to mask concurrency management issues to the overlying applic...
Roberto Palmieri, Francesco Quaglia, Paolo Romano,...
163
Voted
ISAMI
2010
15 years 1 months ago
A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
Tibor Bosse, Alexei Sharpanskykh
118
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Anchor selection with anchor location uncertainty in wireless sensor network localization
We investigate in this paper the anchor selection problem with consideration of anchor location uncertainty, which arises naturally from error propagation problem in successive or...
Ping Zhang, Qiao Wang
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 5 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...