3995 search results - page 466 / 799 » Linearization of hybrid processes |
183
click to vote
CICLING
2007
Springer
16 years 28 days ago
2007
Springer
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
279
click to vote
VLSI
2007
Springer
16 years 26 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
201
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
165
click to vote
FORTE
2008
15 years 8 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
188
click to vote
OPODIS
2007
15 years 8 months ago
2007
Abstract. We consider the problem of synchronizing clocks in synchronous systems prone to transient and dynamic process failures, i.e., we consider systems where all processes may ...