6770 search results - page 447 / 1354 » How GPUs Work |
154
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
150
click to vote
ICA
2007
Springer
15 years 11 months ago
2007
Springer
In underdetermined blind source separation problems, it is common practice to exploit the underlying sparsity of the sources for demixing. In this work, we propose two sparse decom...
126
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
We consider several private database query problems. The starting point of this work is the element rank problem: the server holds a database of n integers, and the user an integer...
147
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
153
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Rich Internet applications (RIAs) enable novel usage scenarios by overcoming the traditional paradigms of Web interaction. Conventional Web applications can be seen as re...