Sciweavers

8810 search results - page 21 / 1762
» Open. Closed. Open
Sort
View
ICIP
2009
IEEE
13 years 8 months ago
Directional mathematical morphology for the detection of the road network in Very High Resolution remote sensing images
This paper presents a new method for extracting roads in Very High Resolution remotely sensed images based on advanced directional morphological operators. The proposed approach i...
Silvia Valero, Jocelyn Chanussot, Jon Atli Benedik...
AAAI
1996
14 years 6 days ago
Closed Terminologies in Description Logics
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...
Robert A. Weida
COLT
2004
Springer
14 years 2 months ago
A New PAC Bound for Intersection-Closed Concept Classes
For hyper-rectangles in Rd Auer et al. [1] proved a PAC bound of O 1 (d + log 1 ) , where and are the accuracy and confidence parameters. It is still an open question whether one...
Peter Auer, Ronald Ortner
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
14 years 3 months ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen
CHI
2004
ACM
14 years 11 months ago
Professional usability in open source projects: GNOME, OpenOffice.org, NetBeans
Working as a usability professional in the open source arena is a challenging task. The decentralized and engineering-driven approach of open source projects can be at odds with c...
Calum Benson, Jiri Mzourek, Matthias Müller-P...