Sciweavers

3452 search results - page 405 / 691
» On the Study of Negotiation Strategies
Sort
View
ICA
2010
Springer
15 years 7 months ago
Double Sparsity: Towards Blind Estimation of Multiple Channels
We propose a framework for blind multiple filter estimation from convolutive mixtures, exploiting the time-domain sparsity of the mixing filters and the disjointness of the sources...
Prasad Sudhakar, Simon Arberet, Rémi Gribon...
AICOM
2010
127views more  AICOM 2010»
15 years 6 months ago
Interactive verification of concurrent systems using symbolic execution
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
Simon Bäumler, Michael Balser, Florian Nafz, ...
CONCURRENCY
2008
81views more  CONCURRENCY 2008»
15 years 6 months ago
Resource space view tour mechanism
The Resource Space Model is a new semantic data model for managing various resources. Based on the model, this paper proposes a view mechanism for finding and reusing legacy Resou...
Jin Liu, Xiang Li, Liang Feng
DEBU
2008
71views more  DEBU 2008»
15 years 6 months ago
User Experiences and Impressions of Recommenders in Complex Information Environments
We studied how actual users find items of interest in today's complex, recommender-rich information environments, what role recommenders play in it, and if recommenders incre...
Juha Leino, Kari-Jouko Räihä
AMC
2006
76views more  AMC 2006»
15 years 6 months ago
Integrating GPS with national networks by collocation method
In the integration of geodetic networks with different geodetic coordinate systems, the similarity transformation seems to be the most suitable method because the geodetic coordin...
Hakan S. Kutoglu, Tevfik Ayan, Ç. Mekik