Sciweavers

1804 search results - page 73 / 361
» On set systems with a threshold property
Sort
View
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 7 months ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...
IJCV
2007
194views more  IJCV 2007»
15 years 6 months ago
Self-Invertible 2D Log-Gabor Wavelets
Orthogonal and biorthogonal wavelets became very popular image processing tools but exhibit major drawbacks, namely a poor resolution in orientation and the lack of translation inv...
Sylvain Fischer, Filip Sroubek, Laurent Perrinet, ...
142
Voted
FLAIRS
2000
15 years 8 months ago
Defining and Monitoring Knowledge Integrity
Knowledgemanagementhas been claimed as the correct response to rapid change. Decisions need to be madein light of up to date knowledge. The changing nature of the knowledgeraises ...
Fatma Mili, Krish Narayanan, Vamsi Atluri
236
Voted
ASIAN
2009
Springer
299views Algorithms» more  ASIAN 2009»
15 years 7 months ago
Deducibility Constraints
In their work on tractable deduction systems, D. McAllester and later D. Basin and H. Ganzinger have identified a property of inference systems (the locality property) that ensures...
Sergiu Bursuc, Hubert Comon-Lundh, Stéphani...
CVPR
2009
IEEE
17 years 1 months ago
Continuous Maximal Flows and Wulff Shapes: Application to MRFs
Convex and continuous energy formulations for low level vision problems enable efficient search procedures for the corresponding globally optimal solutions. In this work we exte...
Christopher Zach (UNC Chapel Hill), Marc Niethamme...