6020 search results - page 36 / 1204 » A New Approach to Model Counting |
102
click to vote
DATE
2000
IEEE
15 years 6 months ago
2000
IEEE
A new method for computation of timing jitter in a PLL is proposed. The computational method is based on the representation of the circuit as a linear time-varying system with mod...
109
click to vote
HCI
2009
14 years 11 months ago
2009
The rapid evolution of molecule's imaging and observation's techniques has caused a growing interest in studying molecular structures. Naturally, scientists have turned t...
131
click to vote
CIMAGING
2009
15 years 3 months ago
2009
Owing to the stochastic nature of discrete processes such as photon counts in imaging, real-world data measurements often exhibit heteroscedastic behavior. In particular, time ser...
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...
119
click to vote
IANDC
2007
15 years 1 months ago
2007
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new automata-theoretic technique to show pspace decidabi...