1019 search results - page 138 / 204 » Uniform Functors on Sets |
SMI
2005
IEEE
14 years 4 months ago
2005
IEEE
The 3D Morse-Smale complex is a fundamental topological construct that partitions the domain of a real-valued function into regions having uniform gradient flow behavior. In this...
ATVA
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
BIRTHDAY
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
CHARME
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
CIARP
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This paper presents a new approach to the question of surface grading based on soft colour-texture descriptors and well known classifiers. These descriptors come from gl...