2722 search results - page 178 / 545 » The Model Evolution Calculus |
IANDC
2010
13 years 6 months ago
2010
The semantics of name-passing calculi is often defined employing coalgebraic models over presheaf categories. This elegant theory lacks finiteness properties, hence it is not ap...
ICIP
2006
IEEE
14 years 10 months ago
2006
IEEE
1 We propose a novel video-based rendering algorithm with a single moving camera. We reconstruct a dynamic 3D model of the scene with a feature point set that "evolves" o...
MICCAI
2007
Springer
14 years 9 months ago
2007
Springer
In this article, we develop a new method to segment Q-Ball imaging (QBI) data. We first estimate the orientation distribution function (ODF) using a fast and robust spherical harmo...
EVOW
2010
Springer
14 years 3 months ago
2010
Springer
A relatively rare application of artificial intelligence at the nexus of art and music is dance. The impulse shared by all humans to express ourselves through dance represents a u...
CEC
2009
IEEE
14 years 3 months ago
2009
IEEE
— One of the main tasks software testing involves is the generation of the test inputs to be used during the test. Due to its expensive cost, the automation of this task has beco...