2450 search results - page 31 / 490 » Time Mapping with Hypergraphs |
63
Voted
CHARME
2003
Springer
15 years 1 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
106
Voted
IPMI
2005
Springer
15 years 10 months ago
2005
Springer
The blood oxygen level-dependent (BOLD) signal in response to brief periods of stimulus can be detected using event-related functional magnetic resonance imaging (ER-fMRI). In this...
WSCG
2003
14 years 11 months ago
2003
In this paper, we propose an algorithm for enhancing edges of real-time non-photorealistic renderings. It is based on the edge map, a 2D texture that encodes visually important ed...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Constructing and maintaining semantic mappings are necessary but troublesome in data sharing systems. While most current work focuses on seeking automated techniques to solve this...
63
Voted
CCA
2009
Springer
15 years 4 months ago
2009
Springer
d Abstract) Robert Rettinger1 Department of Mathematics and Computer Science University of Hagen, Germany Abstract. We show that under reasonable assumptions there exist Riemann ma...