2632 search results - page 440 / 527 » Alternating Timed Automata |
133
click to vote
MICCAI
2009
Springer
16 years 2 months ago
2009
Springer
We propose a method for the analysis of Magnetic Resonance (MR) cardiac images with the goal of reconstructing the motion of the ventricular walls. The main feature of our method i...
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Information Retrieval on the WWW is important because it is hard to find what one is looking for. There is a plethora of information available, and searching relevant information ...
KDD
2003
ACM
16 years 2 months ago
2003
ACM
To analyze the effect of the oceans and atmosphere on land climate, Earth Scientists have developed climate indices, which are time series that summarize the behavior of selected ...
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
Since the visualization real estate puts stringent constraints on how much data can be presented to the users at once, table summarization is an essential tool in helping users qu...
113
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
When trying to track down bugs using cyclic debugging, the ability to correctly reproduce executions is imperative. In sequential, deterministic, non-real-time software, this repr...