7773 search results - page 333 / 1555 » On generalized Frame-Stewart numbers |
170
click to vote
CCGRID
2006
IEEE
16 years 22 days ago
2006
IEEE
Provenance is generally defined as the documentation of a process that leads to some result, and has long been recognised as being fundamental to the development of problem solvi...
176
click to vote
CLUSTER
2006
IEEE
16 years 22 days ago
2006
IEEE
The growth in the number of generally available, distributed, heterogeneous computing systems places increasing importance on the development of user-friendly tools that enable ap...
186
click to vote
CSFW
2006
IEEE
16 years 22 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
159
click to vote
CVPR
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents a new model of object classes which incorporates appearance and shape information jointly. Modeling objects appearance by distributions of visual words has rec...
152
click to vote
FOCS
2006
IEEE
16 years 22 days ago
2006
IEEE
We present new algebraic approaches for several wellknown combinatorial problems, including non-bipartite matching, matroid intersection, and some of their generalizations. Our wo...