4693 search results - page 253 / 939 » Verifying Hybrid Systems |
164
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...
189
click to vote
ICDAR
2005
IEEE
16 years 6 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 ...
225
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 ...
166
click to vote
WSC
2008
15 years 9 months ago
2008
Simulation modeling has the capability to represent complex real-world systems in details and therefore it is suitable to develop simulation models for generating detailed operati...
166
click to vote
COLING
2000
15 years 8 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...