Sciweavers

10790 search results - page 221 / 2158
» Using feature models to automate model transformations
Sort
View
ICIP
2005
IEEE
16 years 8 months ago
Multiple feature models for image matching
The common approach to image matching is to detect spatial features present in both images and create a mapping that relates both images. The main drawback of this method takes pl...
Juan Morales-Sánchez, Rafael Verdú, ...
ICA
2007
Springer
16 years 24 days ago
Perception of Transformation-Invariance in the Visual Pathway
Abstract. Visual perception of transformation invariance, such as translation, rotation and scaling, is one of the important functions of processing visual information in the Brain...
Wenlu Yang, Liqing Zhang, Libo Ma
ISSTA
2006
ACM
16 years 18 days ago
Application of automated environment generation to commercial software
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
Oksana Tkachuk, Sreeranga P. Rajan
BPM
2008
Springer
158views Business» more  BPM 2008»
15 years 8 months ago
Towards Transformations from BPMN to Heterogeneous Systems
Abstract. By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes. However, most of...
Tobias Küster, Axel Heßler
CDC
2008
IEEE
16 years 1 months ago
Shannon meets Bellman: Feature based Markovian models for detection and optimization
— The goal of this paper is to develop modeling techniques for complex systems for the purposes of control, estimation, and inference: (i) A new class of Hidden Markov Models is ...
Sean P. Meyn, George Mathew