1287 search results - page 55 / 258 » Reduction of Timed Hybrid Systems |
113
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
— Stereo video systems require double bandwidth and more than twice computational complexity relative to monovideo systems. Thus, An efficient coding scheme is necessary for tra...
128
click to vote
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Nonlinearities and the lack of accurate quantitative information considerably hamper modeling and system analysis of biochemical networks. Here we propose a procedure for...
140
click to vote
EMNLP
2006
15 years 5 months ago
2006
Markov order-1 conditional random fields (CRFs) and semi-Markov CRFs are two popular models for sequence segmentation and labeling. Both models have advantages in terms of the typ...
244
click to vote
VLSI
2007
Springer
15 years 10 months 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,...
123
click to vote
LMCS
2007
15 years 3 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...