5434 search results - page 794 / 1087 » Tool support for MOLA |
182
click to vote
QEST
2005
IEEE
16 years 6 days ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
178
click to vote
VIS
2007
IEEE
16 years 8 months ago
2007
IEEE
We have combined methods from volume visualization and data analysis to support better diagnosis and treatment of human retinal diseases. Many diseases can be identified by abnorma...
275
click to vote
PODS
2009
ACM
16 years 7 months ago
2009
ACM
APPEARED IN ACM PODS-2009. A sliding windows model is an important case of the streaming model, where only the most "recent" elements remain active and the rest are disc...
270
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Scientific data are posing new challenges to data management due to the large volume, complexity and heterogeneity of the data. Meanwhile, scientific collaboration becomes increas...
168
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Deictic reference – pointing at things during conversation – is ubiquitous in human communication, and should also be an important tool in distributed collaborative virtual en...