1019 search results - page 138 / 204 » Uniform Functors on Sets |
129
click to vote
SMI
2005
IEEE
15 years 10 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...
131
click to vote
ATVA
2005
Springer
15 years 10 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 ...
133
click to vote
BIRTHDAY
2005
Springer
15 years 10 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-...
200
click to vote
CHARME
2005
Springer
15 years 10 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
15 years 10 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...