4047 search results - page 663 / 810 » Algebraic Model Checking |
239
click to vote
ECCV
2004
Springer
16 years 7 months ago
2004
Springer
Low-level image processing algorithms generally provide noisy features that are far from being Gaussian. Medium-level tasks such as object detection must therefore be robust to out...
152
click to vote
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
Dynamic functional imaging promises powerful tools for the visualization and elucidation of important diseasecausing biological processes, where the pixels often represent a compo...
161
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Recently, active behavior has received attention in the XML field to automatically react to occurred events. Aside from proprietary approaches for enriching XML with active behavi...
162
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
A (directed) network of people connected by ratings or trust scores, and a model for propagating those trust scores, is a fundamental building block in many of today's most s...
163
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Context trees are a popular and effective tool for tasks such as compression, sequential prediction, and language modeling. We present an algebraic perspective of context trees for...