Sciweavers

1389 search results - page 137 / 278
» Model Combination for Machine Translation
Sort
View
APSEC
1999
IEEE
15 years 7 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
150
Voted
QEST
2006
IEEE
15 years 9 months ago
Continuous Bytecode Instruction Counting for CPU Consumption Estimation
As an execution platform, the Java Virtual Machine (JVM) provides many benefits in terms of portability and security. However, this advantage turns into an obstacle when it comes...
Andrea Camesi, Jarle Hulaas, Walter Binder
120
Voted
CAISE
2006
Springer
15 years 7 months ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann
JISBD
2000
15 years 4 months ago
Databases and Natural Language Interfaces
A Natural Language Interface for Databases allows users of multimedia kiosks to formulate natural language questions. User questions are first translated into a logic language and ...
Porfírio P. Filipe, Nuno J. Mamede
ISNN
2005
Springer
15 years 8 months ago
Content Based Retrieval and Classification of Cultural Relic Images
In this paper we present a novel system for content-based retrieval and classification of cultural relic images. First, the images are normalized to achieve rotation, translation a...
Na Wei, M. Emre Celebi, Guohua Geng