1508 search results - page 86 / 302 » A Combination Method for Generating Interpolants |
192
click to vote
VLSID
2010
IEEE
15 years 3 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
163
click to vote
ICCV
2005
IEEE
16 years 7 months ago
2005
IEEE
We have developed a two-phase generative / discriminative learning procedure for the recognition of classes of objects and concepts in outdoor scenes. Our method uses both multipl...
163
click to vote
HT
2005
ACM
15 years 11 months ago
2005
ACM
We describe our approach to the automatic generation of argument structures in the domain of video documentaries. Our approach releases control of the final video sequencing from...
148
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
143
Voted
IWCMC
2010
ACM
15 years 7 months ago
2010
ACM
We propose a novel methodology to generate realistic network flow traces to enable systematic evaluation of network monitoring systems in various traffic conditions. Our technique...