3457 search results - page 417 / 692 » A Symbol Is Not a Symbol |
173
click to vote
ISRR
2001
Springer
15 years 11 months ago
2001
Springer
Although odometry is nonlinear, it yields sufficiently to linearized analysis to produce a closed-form transition matrix and a symbolic general solution for both deterministic and...
165
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
We present an approach to self-adaptive systems utilizing explicit models of the design-space of the application. The design-space is captured by allowing the specification of alte...
208
click to vote
SAGA
2001
Springer
15 years 11 months ago
2001
Springer
We propose a generic, domain-independent local search method called adaptive search for solving Constraint Satisfaction Problems (CSP). We design a new heuristics that takes advan...
161
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
157
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...