10870 search results - page 1810 / 2174 » Model Checking Programs |
194
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
We introduce the notion of hierarchical group signatures. This is a proper generalization of group signatures, which allows multiple group managers organized in a tree with the si...
183
Voted
ICAPR
2005
Springer
16 years 9 days ago
2005
Springer
The Logarithmic Image Processing model (LIP) is a robust mathematical framework for the processing of transmitted and reflected images. It follows many visual, physical and psycho...
207
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
178
click to vote
ISMIR
2005
Springer
16 years 9 days ago
2005
Springer
This paper proposes an algorithm for studying spectral contents of pitched sounds in real-world recordings. We assume that the 2nd -order difference, w.r.t. partial index, of a pi...
171
click to vote
STACS
2005
Springer
16 years 8 days ago
2005
Springer
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...