2989 search results - page 48 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
ISW
2001
Springer
15 years 2 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
Modularity is thought to improve the evolvability of biological systems [18, 22]. Recent studies in the field of evolutionary computation show that the use of modularity improves...
108
click to vote
COMPOS
1997
Springer
15 years 1 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
127
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
We present a compiler internal program optimization that uses graph rewriting. This optimization enables the compiler to automatically use rich instructions (such as SIMD instructi...
CVPR
1999
IEEE
15 years 11 months ago
1999
IEEE
Tomasi and Kanade [1] introduced the factorization method for recovering 3D structure from 2D video. In their formulation, the 3D shape and 3D motion are computed by using an SVD ...