24741 search results - page 4762 / 4949 » Virtual Network Computing |
116
Voted
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
104
click to vote
WEBI
2010
Springer
14 years 11 months ago
2010
Springer
Mobile is becoming a ubiquitous platform for context-aware intelligent computing. One fundamental but usually ignored issue is how to efficiently manage (e.g., index and query) the...
86
Voted
EUSFLAT
2009
14 years 10 months ago
2009
Abstract-- Interpretability is one of the most significant properties of Fuzzy Systems which are widely acknowledged as gray boxes against other Soft Computing techniques such as N...
130
Voted
ICMLA
2009
14 years 10 months ago
2009
This paper introduces a new algorithm, namely the EquiCorrelation Network (ECON), to perform supervised classification, and regression. ECON is a kernelized LARS-like algorithm, b...
116
click to vote
ICUMT
2009
14 years 10 months ago
2009
Abstract--Computer-centered services and broadband wireless connectivity are enabling the delivery of multimedia-based entertainment from the Internet to in-house wireless devices ...