3161 search results - page 50 / 633 » Hybrid results merging |
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish...
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
We have previously described a hybrid keyword search that combines metadata search with a traditional keyword search over unstructured context data. This hybrid search paradigm pro...
104
click to vote
FPL
2008
Springer
15 years 1 months ago
2008
Springer
A hybrid FPGA consists of island-style fine-grained units and domain-specific coarse-grained units. This paper describes an approach to estimate the power consumption of a set of ...
101
click to vote
ALT
2005
Springer
15 years 8 months ago
2005
Springer
Efficient learnability using the state merging algorithm is known for a subclass of probabilistic automata termed µ-distinguishable. In this paper, we prove that state merging alg...
102
click to vote
ECSQARU
2005
Springer
15 years 5 months ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...