Sciweavers

1456 search results - page 203 / 292
» A search quality evaluation based on objective-subjective me...
Sort
View
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 6 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
ICPR
2010
IEEE
16 years 1 months ago
Pose Estimation of Known Objects by Efficient Silhouette Matching
Pose estimation is essential for automated han- dling of objects. In many computer vision applications only the object silhouettes can be acquired reliably, because untextured or s...
Christian Reinbacher, Matthias Rüther, Horst Bisc...
ICMCS
2005
IEEE
87views Multimedia» more  ICMCS 2005»
15 years 12 months ago
Correlation-based model of color picture watermarking against random geometric distortion
Random geometric distortion is one of the most difficult kinds of image processing to survive and has been a noted problem in watermarking research. Previous methods for dealing ...
Isao Echizen, Yasuhiro Fujii, Takaaki Yamada, Sato...
AAAI
1997
15 years 7 months ago
Case and Constraint-Based Apartment Construction Project Planning System: FASTrak-APT
To effectively generate a fast and consistent apartment construction project network, Hyundai and KAIST have developed a case and constraint based project planning expert system f...
Kyoung Jun Lee, Hyun Woo Kim, Jae Kyu Lee, Tae Hwa...
DASFAA
2007
IEEE
240views Database» more  DASFAA 2007»
16 years 21 days ago
A Comparative Study of Ontology Based Term Similarity Measures on PubMed Document Clustering
Recent research shows that ontology as background knowledge can improve document clustering quality with its concept hierarchy knowledge. Previous studies take term semantic simila...
Xiaodan Zhang, Liping Jing, Xiaohua Hu, Michael K....