2036 search results - page 139 / 408 » A generic type-and-effect system |
97
Voted
IJBC
2010
14 years 10 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...
105
click to vote
WETICE
2008
IEEE
15 years 7 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...
99
Voted
MABS
2007
Springer
15 years 7 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...
107
Voted
SIMVIS
2004
15 years 2 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...
62
Voted
ANLP
1997
15 years 2 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...