Sciweavers

1536 search results - page 168 / 308
» On the Relation between Interpreted Systems and Kripke Model...
Sort
View
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
14 years 4 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
KCAP
2005
ACM
14 years 3 months 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...
ER
2004
Springer
161views Database» more  ER 2004»
14 years 3 months ago
Applying the Application-Based Domain Modeling Approach to UML Structural Views
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
Arnon Sturm, Iris Reinhartz-Berger
LREC
2010
174views Education» more  LREC 2010»
13 years 11 months ago
Model Summaries for Location-related Images
At present there is no publicly available data set to evaluate the performance of different summarization systems on the task of generating location-related extended image caption...
Ahmet Aker, Robert J. Gaizauskas
JETAI
2006
66views more  JETAI 2006»
13 years 10 months ago
A self-watching model of analogy-making and perception
hin an abstract microworld of analogy problems. This approach differs from most other models of analogy in its insistence that concepts acquire their semantics from within the syst...
James B. Marshall