320 search results - page 31 / 64 » Constructing Invariants for Hybrid Systems |
137
click to vote
ISSAC
2005
Springer
15 years 11 months ago
2005
Springer
Two ideas are combined to construct a hybrid symbolicnumeric differential-elimination method for identifying and including missing constraints arising in differential systems. F...
166
click to vote
CC
2006
Springer
15 years 9 months ago
2006
Springer
We introduce a new class of compiler heuristics: hybrid optimizations. Hybrid optimizations choose dynamically at compile time which optimization algorithm to apply from a set of d...
168
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
210
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Social network-based systems usually suffer from two major limitations: they tend to rely on a single data source (e.g. email traffic), and the form of network patterns is often p...
149
click to vote
COLING
2000
15 years 7 months ago
2000
This paper describes a hybrid parsing method for Japanese which uses both a hand-crafted grammar and a statistical technique. The key feature of our system is that in order to est...