2450 search results - page 31 / 490 » Time Mapping with Hypergraphs |
105
Voted
CHARME
2003
Springer
15 years 6 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...
142
click to vote
IPMI
2005
Springer
16 years 3 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...
142
click to vote
WSCG
2003
15 years 3 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...
106
Voted
WWW
2005
ACM
16 years 3 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...
89
Voted
CCA
2009
Springer
15 years 9 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...