650 search results - page 49 / 130 » Towards automatic model synchronization from model transform... |
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
AMAST
2008
Springer
13 years 9 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
CAISE
2001
Springer
14 years 9 days ago
2001
Springer
XML is fast becoming the standard for information exchange on the Internet. As such, information expressed in XML will need to be integrated with existing information systems, whi...
ICIP
1997
IEEE
14 years 9 months ago
1997
IEEE
In this paper, a new systematic method to segment possible target areas based on wavelet transforms is presented. We develop an analytic model for the segmentation of targets, whi...
IR
2006
13 years 7 months ago
2006
In this paper we describe and evaluate a Question Answering (QA) system that goes beyond answering factoid questions. Our approach to QA assumes no restrictions on the type of que...