Sciweavers

3954 search results - page 332 / 791
» Image-based Model Completion
Sort
View
DFG
2004
Springer
15 years 10 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
SPLC
2008
15 years 7 months ago
A Marriage of MDD and Early Aspects in Software Product Line Development
Model-driven development (MDD) shifts the development focus from code to models, allowing automatic or assisted transformations that are able to generate more refined, detailed or...
Thaís Vasconcelos Batista, M. Cecilia Basta...
AAAI
2004
15 years 7 months ago
On Odd and Even Cycles in Normal Logic Programs
An odd cycle of a logic program is a simple cycle that has an odd number of negative edges in the dependency graph of the program. Similarly, an even cycle is one that has an even...
Fangzhen Lin, Xishun Zhao
DAGSTUHL
2006
15 years 7 months ago
Efficient multi-step query processing for EMD-based similarity
Abstract. Similarity search in large multimedia databases requires efficient query processing based on suitable similarity models. Similarity models consist of a feature extraction...
Ira Assent, Thomas Seidl
ISMB
1996
15 years 7 months ago
Gene Prediction by Pattern Recognition and Homology Search
This paper presents an algorithm for combining pattern recognition-based exon prediction and database homologysearch in gene model construction. Thegoal is to use homologousgeneso...
Ying Xu, Edward C. Uberbacher