Sciweavers

8970 search results - page 1423 / 1794
» Learning to Learn Causal Models
Sort
View
PRDC
2005
IEEE
16 years 11 days ago
On Automating Failure Mode Analysis and Enhancing its Integrity
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkala...
KCAP
2005
ACM
16 years 11 days ago
OLA in the OAEI 2005 Alignment Contest
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
Jérôme Euzenat, Philippe Guéga...
AIRS
2005
Springer
16 years 11 days ago
Home Photo Categorization Based on Photographic Region Templates
In this paper, we propose new photo categorization which is suitable for a home photo album. To enhance the categorization, both local and global concepts of the photos are modeled...
Sang-Kyun Kim, Seungji Yang, Kyong Sok Seo, Yong M...
CAV
2005
Springer
99views Hardware» more  CAV 2005»
16 years 10 days ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...
DAWAK
2005
Springer
16 years 10 days ago
A Decremental Algorithm for Maintaining Frequent Itemsets in Dynamic Databases
Data mining and machine learning must confront the problem of pattern maintenance because data updating is a fundamental operation in data management. Most existing data-mining alg...
Shichao Zhang, Xindong Wu, Jilian Zhang, Chengqi Z...
« Prev « First page 1423 / 1794 Last » Next »