2940 search results - page 424 / 588 » Relational Parametricity and Control |
75
Voted
FROCOS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
84
Voted
FROCOS
2007
Springer
15 years 4 months ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
88
Voted
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
Recent work has provided functions that can be used to prove a principled distinction between the capabilities of mutation-based and crossover-based algorithms. However, prior fun...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
The proliferation of all kinds of devices with different security requirements and constraints, and the arms-race nature of the security problem are increasingly demanding the de...
ISVC
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a lossy compression method for motion capture data. Each degree of freedom of a motion clip is smoothed by an anisotropic diffusion process and then divided int...