3299 search results - page 162 / 660 » A general mathematics of names |
147
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
150
click to vote
LATIN
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we investigate how it is possible to recover an automaton from a rational expression that has been computed from that automaton. The notion of derived term of an expr...
163
click to vote
MMB
2004
Springer
15 years 12 months ago
2004
Springer
Auctions are a well-established mechanism for efficient allocation of scarce resources and as such have already become a standard approach for pricing QoS-enabled future Internet ...
184
click to vote
IFIP7
2001
Springer
15 years 11 months ago
2001
Springer
Support vector machines (SVMs) have played a key role in broad classes of problems arising in various fields. Much more recently, SVMs have become the tool of choice for problems...
177
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...