2452 search results - page 165 / 491 » On Reduction of Lagrange Systems |
176
click to vote
ICALP
1992
Springer
15 years 10 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
136
Voted
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
We demonstrate an algorithmfor interconnect modeling in rhe presence ofprocess variation based on extension of the truncated balanced realizationmodel reduction algorithmto multi-...
147
click to vote
TSD
2009
Springer
16 years 19 days ago
2009
Springer
The paper describes aspects, methods and results of the development of an automatic transcription system for Catalan broadcast conversation by means of speech recognition. Emphasi...
150
click to vote
KES
2005
Springer
15 years 11 months ago
2005
Springer
We present a simple, yet general top-down query answering procedure for logic programs managing uncertainty. The main features are: (i) the certainty values are taken from a certai...
116
click to vote
CCE
2006
15 years 6 months ago
2006
8 Saving of bath chemicals and freshwater consumed within metal finishing systems and the reduction of wastewater produced can be important steps towards more sustainable processes...