59 search results - page 4 / 12 » Computability of Continuous Solutions of Higher-Type Equatio... |
CSR
2009
Springer
13 years 6 months ago
2009
Springer
We study the approximability of the maximum solution problem. This problem is an optimisation variant of the constraint satisfaction problem and it captures a wide range of interes...
SIAMMAX
2010
13 years 17 days ago
2010
For the approximation of time-dependent data tensors and of solutions to tensor differential equations by tensors of low Tucker rank, we study a computational approach that can be ...
HYBRID
1999
Springer
13 years 10 months ago
1999
Springer
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dy...
ISCI
2007
13 years 5 months ago
2007
: In our book to appear in print from Springer-Verlag GmbH, Simulating Continuous Fuzzy Systems, Buckley and Jowers, we use crisp continuous simulation under Matlab™/Simulink™ ...
PODC
1989
ACM
13 years 9 months ago
1989
ACM
A deterministic message-communicating process can be characterized by a “continuous” function f which describes the relationship between the inputs and the outputs of the proc...