6047 search results - page 715 / 1210 » Modeling with Extend |
182
click to vote
ICCTA
2007
IEEE
16 years 1 months ago
2007
IEEE
The advent of advanced graphics technologies and improved hardware has enabled the generation of highly complex models with huge number of triangles. Point-based representations a...
173
click to vote
ISMVL
2007
IEEE
16 years 1 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
163
click to vote
CPAIOR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. AND/OR search spaces are a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensitivity to the struc...
205
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
Hybrid discrete-continuous models, such as Jump Markov Linear Systems, are convenient tools for representing many real-world systems; in the case of fault detection, discrete jumps...
178
click to vote
ISW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...