2036 search results - page 139 / 408 » A generic type-and-effect system |
157
click to vote
IJBC
2010
15 years 4 months ago
2010
We consider parameter-dependent, continuous-time dynamical systems under discretizations. It is shown that fold-Hopf singularities are O(hp)-shifted and turned into fold-Neimark-S...
174
click to vote
WETICE
2008
IEEE
16 years 1 months ago
2008
IEEE
Symmetric exchanges has been used for peer-to-peer resource allocation systems to maintain fairness among the number of resources that each peer contributes to the network. The pr...
175
click to vote
MABS
2007
Springer
16 years 1 months ago
2007
Springer
For the past few years, our research groups have independently been developing systems in which a multi-agent system (typically of lightweight agents) provides some functionality i...
192
click to vote
SIMVIS
2004
15 years 8 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
123
click to vote
ANLP
1997
15 years 8 months ago
1997
We describe the name analysis and pronunciation component in the German version of the Bell Labs multilingual text-tospeech system. We concentrate on street names because they enc...