Sciweavers

2203 search results - page 126 / 441
» Temporal Abstract Interpretation
Sort
View
119
Voted
MICCAI
2010
Springer
15 years 2 months ago
4D Computed Tomography Reconstruction from Few-Projection Data via Temporal Non-local Regularization
Abstract. 4D computed tomography (4D-CT) is an important modality in medical imaging due to its ability to resolve patient anatomy motion in each respiratory phase. Conventionally ...
Xun Jia, Yifei Lou, Bin Dong, Zhen Tian, Steve B. ...
CORR
2011
Springer
358views Education» more  CORR 2011»
14 years 10 months ago
Time-Varying Graphs and Social Network Analysis: Temporal Indicators and Metrics
Abstract. Most instruments - formalisms, concepts, and metrics for social networks analysis fail to capture their dynamics. Typical systems exhibit different scales of dynamics, ra...
Nicola Santoro, Walter Quattrociocchi, Paola Flocc...
145
Voted
AIME
2009
Springer
15 years 10 months ago
Mining Healthcare Data with Temporal Association Rules: Improvements and Assessment for a Practical Use
Abstract. The Regional Healthcare Agency (ASL) of Pavia has been maintaining a central data repository which stores healthcare data about the population of Pavia area. The analysis...
Stefano Concaro, Lucia Sacchi, Carlo Cerra, Pietro...
156
Voted
UCS
2007
Springer
15 years 9 months ago
Discriminative Temporal Smoothing for Activity Recognition from Wearable Sensors
Abstract. This paper describes daily life activity recognition using wearable acceleration sensors attached to four different parts of the human body. The experimental data set con...
Jaakko Suutala, Susanna Pirttikangas, Juha Rö...
116
Voted
SIGADA
2005
Springer
15 years 9 months ago
Temporal skeletons for verifying time
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
Gustaf Naeser, Kristina Lundqvist, Lars Asplund