10304 search results - page 1870 / 2061 » Computer science with the sciences: an emphasis in computati... |
135
click to vote
IFM
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
140
click to vote
SENSYS
2010
ACM
14 years 11 months ago
2010
ACM
Many participatory sensing applications use data collected by participants to construct a public model of a system or phenomenon. For example, a health application might compute a...
187
click to vote
GRID
2010
Springer
14 years 11 months ago
2010
Springer
The Grid paradigm of accessing heterogeneous distributed resources proved to be extremely effective, as many organizations are relying on Grid middlewares for their computational ...
106
click to vote
IHI
2010
14 years 8 months ago
2010
As computing technologies in examination rooms become a more pervasive and dominant part of the healthcare experience, those technologies can disrupt the flow of information and e...
125
Voted
JMLR
2010
14 years 8 months ago
2010
In this paper we integrate two essential processes, discretization of continuous data and learning of a model that explains them, towards fully computational machine learning from...