3820 search results - page 313 / 764 » Bounded Model Debugging |
140
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
The conditional distribution of a discrete variable y, given another discrete variable x, is often specified by assigning one multinomial distribution to each state of x. The cost...
116
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
As we move from deep submicron technology to nanotechnology for device manufacture, the need for defect-tolerant architectures is gaining importance. This is because, at the nanos...
113
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
A considerable fraction of yeast gene promoters are bound by multiple transcription factors. To study the combinatorial interactions of multiple transcription factors is thus impor...
191
click to vote
FOSAD
2009
Springer
15 years 10 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
146
click to vote
FGR
2008
IEEE
15 years 10 months ago
2008
IEEE
Accurately estimating the person’s head position and orientation is an important task for a wide range of applications such as driver awareness and human-robot interaction. Over...