2963 search results - page 164 / 593 » An architecture for generic extensions |
205
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The use of hybrid dynamical systems to model gene regulation is impelled by the switch-like behaviour of the latter. Piecewise affine differential equations is one of the...
185
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
170
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
184
click to vote
MCSS
2007
Springer
15 years 7 months ago
2007
Springer
We consider the symmetric Darlington synthesis of a p × p rational symmetric Schur function S with the constraint that the extension is of size 2p×2p. Under the assumption that S...
169
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
Advances in Human Computer Interaction(HCI) technology has resulted in widespread development of natural language and speech applications. These applications are known to be compu...