2377 search results - page 192 / 476 » Hybrid Systems in TLA |
149
click to vote
ENTCS
2010
15 years 6 months ago
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...
159
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Hybrid Vehicle fuel economy performance is highly sensitive to the energy management strategy used to select among multiple energy sources. Optimal solutions are easy to specif...
187
click to vote
ICDAR
2005
IEEE
16 years 4 days ago
2005
IEEE
On-line handwriting recognition has continued to persist as a popular research field while pen computing applications are widely used in recent years. This paper proposes a novel ...
220
click to vote
PARA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
151
click to vote
SSPR
2004
Springer
15 years 12 months ago
2004
Springer
Off-line handwritten numeral recognition is a very difficult task. It is hard to achieve high recognition results using a single set of features and a single classifier, since hand...