Sciweavers

3053 search results - page 271 / 611
» Hybrid Systems Diagnosis
Sort
View
ICDCS
2009
IEEE
16 years 3 months ago
Centaur: A Hybrid Approach for Reliable Policy-Based Routing
In this paper, we consider the design of a policy-based routing system and the role that link state might play. Looking at the problem from a link-state perspective, we propose Ce...
Xin Zhang, Adrian Perrig, Hui Zhang
FUZZIEEE
2007
IEEE
16 years 1 months ago
Survey of Rough and Fuzzy Hybridization
— This paper provides a broad overview of logical and black box approaches to fuzzy and rough hybridization. The logical approaches include theoretical, supervised learning, feat...
Pawan Lingras, Richard Jensen
ENTCS
2010
139views more  ENTCS 2010»
15 years 6 months ago
Spartacus: A Tableau Prover for Hybrid Logic
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...
Daniel Götzmann, Mark Kaminski, Gert Smolka
CDC
2008
IEEE
159views Control Systems» more  CDC 2008»
16 years 1 months ago
Incorporating drivability metrics into optimal energy management strategies for Hybrid Vehicles
— 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...
Daniel F. Opila, Deepak Aswani, Ryan McGee, Jeffre...
ICDAR
2005
IEEE
16 years 8 days ago
Hybrid Recognition for One Stroke Style Cursive Handwriting Characters
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 ...
Teng Long, Lianwen Jin