4095 search results - page 436 / 819 » How to test a tree |
164
click to vote
HYBRID
2010
Springer
16 years 17 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
142
click to vote
CDC
2008
IEEE
16 years 17 days ago
2008
IEEE
— We take a structural approach to the problem of designing the edge weights in an undirected graph subject to an upper bound on their total, so as to maximize the algebraic conn...
134
click to vote
ISCAS
2007
IEEE
16 years 11 days ago
2007
IEEE
— Quadrature Σ∆ ADCs require a feedback path for both the I and the Q part of the complex feedback signal. A complex DAC could give this feedback with near-perfect I/Q balance...
148
click to vote
ROMAN
2007
IEEE
16 years 10 days ago
2007
IEEE
Abstract—Models that can efficiently, compactly, and semantically represent potential users are important tools for human-robot interaction applications. We model a person as a p...
149
click to vote
CALCO
2007
Springer
16 years 8 days ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...