10891 search results - page 23 / 2179 » Combining Model Reductions |
ENTCS
2006
13 years 7 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
CDC
2009
IEEE
14 years 13 days ago
2009
IEEE
— Port-based network modeling of complex physical systems naturally leads to port-Hamiltonian system models. This motivates the search for structure-preserving model reduction me...
CODES
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we describe a new methodology based on game theory for minimizing the average power of a circuit during scheduling in behavioral synthesis. The problem of schedulin...
SPEECH
2008
13 years 7 months ago
2008
In this paper an unsupervised compensation method based on Gestalt, ISVC, is proposed to address the problem of limited enrolling data and noise robustness in text-dependent speak...
CONCUR
2006
Springer
13 years 9 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...