1030 search results - page 176 / 206 » Partial Detectability Profiles |
SAC
2003
ACM
14 years 1 months ago
2003
ACM
Image retrieval based on content from digital libraries, multimedia databases, the Internet, and other sources has been an important problem addressed by several researchers. In t...
DEXA
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Data mining, which aims at extracting interesting information from large collections of data, has been widely used as an effective decision making tool. Mining the datas...
FMCO
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
SCALESPACE
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We introduce a novel implicit approach for surface patch segmentation in 3D images starting from a single point. Since the boundary surface of an object is locally homeom...
CAV
2001
Springer
14 years 29 days ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...