5244 search results - page 768 / 1049 » Structural Complexity of AvgBPP |
171
Voted
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Tensor based orientation adaptive filtering, an explicit methodology for anisotropic filtering, constitutes a flexible framework for medical image enhancement. The technique featu...
160
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
167
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
There is a notable interest in extending probabilistic generative modeling principles to accommodate for more complex structured data types. In this paper we develop a generative ...
135
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
The development of a low bandwidth, high error tolerant neural browser, called the BrainBrowser, has raised new navigational issues. With this paradigm shift of twodimensional spa...
163
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...