4325 search results - page 363 / 865 » Incremental computation with names |
176
Voted
PVLDB
2010
15 years 5 months ago
2010
The RDF data model is gaining importance for applications in computational biology, knowledge sharing, and social communities. Recent work on RDF engines has focused on scalable p...
193
click to vote
QEST
2010
IEEE
15 years 4 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...
239
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this position paper, we first review the state-of-the-art in graph-based semi-supervised learning, and point out three limitations that are particularly relevant to multimedia ...
224
Voted
ICIAR
2010
Springer
15 years 4 months ago
2010
Springer
Image segmentation is a critical low-level visual routine for robot perception. However, most image segmentation approaches are still too slow to allow real-time robot operation. I...
170
Voted
TSP
2011
15 years 1 months ago
2011
—Radar high-resolution range profiles (HRRPs) are typical high-dimensional, non-Gaussian and interdimension dependently distributed data, the statistical modelling of which is a...