The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase transformation model (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1985-2002 (17) 2003-2005 (19) 2006-2007 (28) 2008 (16) 2009-2010 (15) 2011-2012 (3)
Publication types (Num. hits)
article(19) inproceedings(79)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 84 occurrences of 75 keywords

Results
Found 98 publication records. Showing 98 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
2Yasushi Makihara, Ryusuke Sagawa, Yasuhiro Mukaigawa, Tomio Echigo, Yasushi Yagi Gait Recognition Using a View Transformation Model in the Frequency Domain. Search on Bibsonomy ECCV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Thai Phuong Nguyen, Akira Shimazu A Syntactic Transformation Model for Statistical Machine Translation. Search on Bibsonomy ICCPOL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Torsten Rohlfing Transformation Model and Constraints Cause Bias in Statistics on Deformation Fields. Search on Bibsonomy MICCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Yuan Yan Tang, X. C. Feng, Xinge You, Z. W. Liao, Lu Sun A Novel Method for Harmonic Geometric Transformation Model Based on Wavelet Collocation. Search on Bibsonomy ICPR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
2Takahiro Saito, Takashi Komatsu, Y. Akimoto Global motion segmentation for mid-level representation of moving images. (PDF / PS) Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF mid-level representation, global motion segmentation, layered image representation, global image regions, parametric transformation model, multiple image layers, local optical flow representation, iterative grid search algorithm, natural image sequences, global segmentation representation, image segmentation, motion estimation, image sequences, image sequence, parameter estimation, parameter estimation, image coding, image coding, iterative methods, image representation, moving images
2Ravi S. Sandhu, Srinivas Ganta On the Expressive Power of the Unary Transformation Model. Search on Bibsonomy ESORICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Access Control, Authorization, Expressive Power, Client-Server Architecture, Access Rights
1Worapan Kusakunniran, Qiang Wu, Jian Zhang, Hongdong Li Cross-view and multi-view gait recognitions based on view transformation model using multi-layer perceptron. Search on Bibsonomy Pattern Recognition Letters The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Miljan Vucetic, Ana Uzelac, Nenad Gligoric E-Health Transformation Model in Serbia: Design, Architecture and Developing. Search on Bibsonomy CyberC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shuai Zheng, Junge Zhang, Kaiqi Huang, Ran He, Tieniu Tan Robust view transformation model for gait recognition. Search on Bibsonomy ICIP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Syed Ahmed Pasha, Hoang Duong Tuan, Ba-Ngu Vo Nonlinear Bayesian filtering using the unscented linear fractional transformation model. Search on Bibsonomy IEEE Transactions on Signal Processing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wen-Hung Yang, Bernard C. Jiang An Integrated Statistical Process Control and Wavelet Transformation Model for Detecting QRS Complexes in ECG Signals. Search on Bibsonomy IJALR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bing-Fei Wu, Chuan-Tsai Lin, Yen-Lin Chen Range and Size Estimation Based on a Coordinate Transformation Model for Driving Assistance Systems. Search on Bibsonomy IEICE Transactions The full citation details ... 2009 DBLP  BibTeX  RDF
1Lotta Maria Ellingsen, Jerry L. Prince Mjolnir: Extending HAMMER Using a Diffusion Transformation Model and Histogram Equalization for Deformable Image Registration. Search on Bibsonomy Int. J. Biomedical Imaging The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yonglin Lei, Weiping Wang 0002, Qun Li, Yifan Zhu A transformation model from DEVS to SMP2 based on MDA. Search on Bibsonomy Simulation Modelling Practice and Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Syed Ahmed Pasha, Hoang Duong Tuan Nonlinear filtering for continuous-time systems using the linear fractional transformation model. Search on Bibsonomy ICASSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1José Barranquero Tolosa, Vicente García-Díaz, Oscar Sanjuán Martínez, Héctor Fernández-Fernández, Gloria García Fernández Towards Meta-model Interoperability of Models through Intelligent Transformations. Search on Bibsonomy IWANN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Meta-Transformation, Declarative Transformation, Meta-Model, MDE, Transformation Model
1Giaime Ginesu, Tiziana Dessì, Luigi Atzori, Daniele D. Giusto Super-resolution reconstruction of video sequences based on back-projection and motion estimation. Search on Bibsonomy MobiMedia The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sam S. Tsai, David M. Chen, Gabriel Takacs, Vijay Chandrasekhar, Jatinder Pal Singh, Bernd Girod Location coding for mobile image retrieval. Search on Bibsonomy MobiMedia The full citation details ... 2009 DBLP  DOI  BibTeX  RDF scalable vocabulary tree, scale-invariant feature, content-based image retrieval, mobile augmented reality
1Stefan Thumfart, Wolfgang Heidl, Josef Scharinger, Christian Eitzinger A Quantitative Evaluation of Texture Feature Robustness and Interpolation Behaviour. Search on Bibsonomy CAIP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Radu Calinescu, Marta Z. Kwiatkowska CADS*: Computer-Aided Development of Self-* Systems. Search on Bibsonomy FASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vanya Van Belle, Kristiaan Pelckmans, Johan A. K. Suykens, Sabine Van Huffel MINLIP: Efficient Learning of Transformation Models. Search on Bibsonomy ICANN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ranking models, Support vector machines, ordinal regression
1Daniel Fleck, Zoran Duric Affine Invariant-Based Classification of Inliers and Outliers for Image Matching. Search on Bibsonomy ICIAR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nicholas J. Tustison, Suyash P. Awate, Gang Song, Tessa Sundaram Cook, James C. Gee A New Information-Theoretic Measure to Control the Robustness-Sensitivity Trade-Off for DMFFD Point-Set Registration. Search on Bibsonomy IPMI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daniel Fleck, Zoran Duric An Evaluation of Affine Invariant-Based Classification for Image Matching. Search on Bibsonomy ISVC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stefan Gruner Graph Transformation Model of a Triangulated Network of Mobile Units. Search on Bibsonomy ECEASST The full citation details ... 2008 DBLP  BibTeX  RDF
1Shui Yu, Robin Doss, Theerasak Thapngam, David Qian A Transformation Model for Heterogeneous Servers. Search on Bibsonomy HPCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zhi Chuan, Zhou Shi-Sheng Research on Color Space Transformation Model between RGB and L*a*b* Based on BP Neural Network. Search on Bibsonomy CSSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zeqing Yang, Libing Liu, Weiling Liu, Weidong Yang Research of CT / MRI Tumor Image Registration Based on Least Square Support Vector Machines. Search on Bibsonomy ICIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MRI Image, Transformation Model Estimation, Image Registration, CT Image, Least Square Support Vector Machines (LS-SVM)
1Vinay Kulkarni, Sreedhar Reddy An abstraction for reusable MDD components: model-based generation of model-based code generators. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reuse, model-driven development, meta models, generative programming
1Lukman Ab. Rahim, Sharifah Bahiyah Rahayu Syed Mansoor Proposed Design Notation for Model Transformation. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Li Guangwei, Liu Yunpeng, Yin Jian, Shi Zelin Optimization on Lie Manifolds and Projective Tracking. Search on Bibsonomy CSSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Junzhou Huang, Xiaolei Huang, Dimitris N. Metaxas Simultaneous image transformation and sparse representation recovery. Search on Bibsonomy CVPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bradley C. Davis, Svetlana Lazebnik Analysis of human attractiveness using manifold kernel regression. Search on Bibsonomy ICIP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zhang Yongjin, He Xinyan, Xie Jiancang, Wang Zhiguo Study on the Knowledge Visualization and Creation Supported Kmap Platform. Search on Bibsonomy WKDD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mark Holden A Review of Geometric Transformations for Nonrigid Body Registration. Search on Bibsonomy IEEE Trans. Med. Imaging The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jörg Bauer 0001, Iovka Boneva, Marcos E. Kurbán, Arend Rensink A Modal-Logic Based Graph Abstraction. Search on Bibsonomy ICGT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Guifang Shao, Yuhua Wen, Fang Yu, Zushu Li Target Localization for Autonomous Soccer Robot Based on Vision Perception. Search on Bibsonomy ISICA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mert R. Sabuncu, Serdar K. Balci, Polina Golland Discovering Modes of an Image Population through Mixture Modeling. Search on Bibsonomy MICCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Kersch, Róbert Szabó DHT routing analysis in a logarithmically transformed space. Search on Bibsonomy Peer-to-Peer Networking and Applications The full citation details ... 2008 DBLP  DOI  BibTeX  RDF DHT routing, Logarithmically transformed space, Metric space
1Yong Liu, Guoyin Wang, Lin Feng A General Model for Transforming Vague Sets into Fuzzy Sets. Search on Bibsonomy Transactions on Computational Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Transformationmodel, Fuzzy sets, Membership function, Vague sets
1Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Katsunori Miura Infinite Computation in the Equivalent Transformation Model. Search on Bibsonomy JACIII The full citation details ... 2007 DBLP  BibTeX  RDF
1Thai Phuong Nguyen, Akira Shimazu, Minh Le Nguyen, Vinh van Nguyen A Syntactic Transformation Model for Statistical Machine Translation. Search on Bibsonomy Int. J. Comput. Proc. Oriental Lang. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Kathleen P. King The Transformation Model. Search on Bibsonomy IJICTE The full citation details ... 2007 DBLP  BibTeX  RDF
1Nicolas Travers, Tuyet-Tram Dang-Ngoc An extensible rule transformation model for XQuery optimization - rules pattern for XQuery tree graph view. Search on Bibsonomy ICEIS The full citation details ... 2007 DBLP  BibTeX  RDF
1Xin Yu, Jin-Wen Tian, Jian Liu Transformation Model Estimation for Point Matching Via Gaussian Processes. Search on Bibsonomy World Congress on Engineering The full citation details ... 2007 DBLP  BibTeX  RDF
1Félix Calderón, Leonardo Romero An Accurate Image Registration Method Using a Projective Transformation Model. Search on Bibsonomy ENC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Minghui Wu, Rongfeng Li, Bin Fu, Wenxin Li, Zhuoqun Xu A Page Content Independent Book Dewarping Method to Handle 2D Images Captured by a Digital Camera. Search on Bibsonomy ICIAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF text line, document rectification, book dewarping, digital camera, Transformation model
1Feng Chen, Hongji Yang Model Oriented Evolutionary Redocumentation. Search on Bibsonomy COMPSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Program Transformation, Model Transformation, Software Reengineering, Wide Spectrum Language (WSL), Redocumentation, Model Driven Engineering (MDE)
1Mohamed Amine Chatti, Ralf Klamma, Matthias Jarke, Ambjörn Naeve The Web 2.0 Driven SECI Model Based Learning Process. Search on Bibsonomy ICALT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1C. C. Chang, M. Y. Lee, S. H. Wang Customized foot pressure redistribution insole design using image-based rapid pressure measuring system. Search on Bibsonomy SMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bojiao Sun, Donghua Zhou A Rotated Image Matching Method Based on CISD. Search on Bibsonomy ISNN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Wolfgang Wein, Ali Khamene, Dirk-André Clevert, Oliver Kutter, Nassir Navab Simulation and Fully Automatic Multimodal Registration of Medical Ultrasound. Search on Bibsonomy MICCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Chrisa Tsinaraki, Stavros Christodoulakis Interoperability of XML Schema Applications with OWL Domain Knowledge and Semantic Web Tools. Search on Bibsonomy OTM Conferences The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Ontologies, Interoperability, Standards, OWL, XML Schema
1Pedro Latorre Carmona, Reiner Lenz, Filiberto Pla, José Martínez Sotoca Affine Illumination Compensation for Multispectral Images. Search on Bibsonomy SCIA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gil González-Rodríguez, Ángela Blanco-Fernández, Norberto Corral, Ana Colubi Least squares estimation of linear regression models for convex compact random sets. Search on Bibsonomy Adv. Data Analysis and Classification The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Convex compact random sets, Set arithmetic approach, Interval-valued data, Set-valued data, Least squares method, Support function, Point estimation, Linear regression model
1Bilge Karaçali, Christos Davatzikos Simulation of tissue atrophy using a topology preserving transformation model. Search on Bibsonomy IEEE Trans. Med. Imaging The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1DaiQiang Peng, Jian Liu, Jin-Wen Tian, Sheng Zheng Transformation model estimation of image registration via least square support vector machines. Search on Bibsonomy Pattern Recognition Letters The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Mohan S. Kankanhalli Multimedia Surveillance and Monitoring. Search on Bibsonomy AVSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Narayanan Ramanathan, Rama Chellappa Modeling Age Progression in Young Faces. Search on Bibsonomy CVPR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tae Eun Choe, Isaac Cohen, Mun Wai Lee, Gérard G. Medioni Optimal Global Mosaic Generation from Retinal Images. Search on Bibsonomy ICPR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yasushi Makihara, Ryusuke Sagawa, Yasuhiro Mukaigawa, Tomio Echigo, Yasushi Yagi Adaptation to Walking Direction Changes for Gait Identification. Search on Bibsonomy ICPR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Astrid Franz, Ingwer Carlsen, Steffen Renisch An Adaptive Irregular Grid Approach Using SIFT Features for Elastic Medical Image Registration. Search on Bibsonomy Bildverarbeitung für die Medizin The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow Model Transformations? Transformation Models! Search on Bibsonomy MoDELS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Guoyin Wang Domain-Oriented Data-Driven Data Mining (3DM): Simulation of Human Knowledge Understanding. Search on Bibsonomy WImBI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Chen Shuyue, Hou Honghua, Zeng Yanjun, Xu Xiaomin Study of Automatic Enhancement for Chest Radiograph. Search on Bibsonomy J. Digital Imaging The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SARS, image enhancement, Medical image processing, chest radiograph
1Aloys du Bois d'Aische, Mathieu De Craene, Benoît Macq, Simon K. Warfield An articulated registration method. Search on Bibsonomy ICIP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Isabel Díaz, Juan Sánchez, Alfredo Matteo Conceptual Modeling Based on Transformation Linguistic Patterns. Search on Bibsonomy ER The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ramkrishnan Narayanan, Jeffrey A. Fessler, Hyunjin Park, Charles R. Meyer Diffeomorphic Nonlinear Transformations: A Local Parametric Approach for Image Registration. Search on Bibsonomy IPMI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. Search on Bibsonomy LADC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Object-based graph grammars, fault-tolerance, distributed systems, model checking, model transformation
1Xenophon Papademetris, Donald P. Dione, Lawrence W. Dobrucki, Lawrence H. Staib, Albert J. Sinusas Articulated Rigid Registration for Serial Lower-Limb Mouse Imaging. Search on Bibsonomy MICCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Brian B. Avants, Charles L. Epstein, James C. Gee Geodesic Image Interpolation: Parameterizing and Interpolating Spatiotemporal Images. Search on Bibsonomy VLSM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nouhad Amaneddine, Jean Paul Bahsoun, Jean-Paul Bodeveix TransM: A Structured Document Transformation Model. Search on Bibsonomy ISTA The full citation details ... 2004 DBLP  BibTeX  RDF
1Quentin Limbourg, Jean Vanderdonckt Addressing the mapping problem in user interface design with UsiXML. Search on Bibsonomy TAMODIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF concrete user interface, final user interface, user interface extensible markup language (UsiXML), adaptation, specifications, abstraction, task model, domain model, user interface description language, abstract user interface, reification, mapping problem, transformation model, model mapping
1Carolyn R. Watters, Bonnie MacKay Transformation Volatility and the Gateway Model for Web Page Migration to Small Screen Devices. Search on Bibsonomy HICSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Kunter, Sebastian Knorr, Carsten Clemens, Thomas Sikora A gradient based approach for stereoscopic error concealment. Search on Bibsonomy ICIP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mathieu De Craene, Aloys du Bois d'Aische, Benoît Macq, Simon K. Warfield : Multi-subject Registration for Unbiased Statistical Atlas Construction. Search on Bibsonomy MICCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dimitrios Perperidis, Raad Mohiaddin, Daniel Rueckert Spatio-Temporal Free-Form Registration of Cardiac MR Image Sequences. Search on Bibsonomy MICCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Shubhankar Ray, Bani K. Mallick A Bayesian transformation model for wavelet shrinkage. Search on Bibsonomy IEEE Transactions on Image Processing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Raghavendra Chandrashekara, Raad Mohiaddin, Daniel Rueckert Analysis of Myocardial Motion and Strain Patterns Using a Cylindrical B-Spline Transformation Model. Search on Bibsonomy IS4TH The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Dimitrios Perperidis, Anil Rao, Maria Lorenzo-Valdés, Raad Mohiaddin, Daniel Rueckert Spatio-temporal Alignment of 4D Cardiac MR Images. Search on Bibsonomy FIMH The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Charles V. Stewart, Chia-Ling Tsai, A. G. Amitha Perera A View-Based Approach to Registration: Theory and Application to Vascular Image Registration. Search on Bibsonomy IPMI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Lucie Masson, Frédéric Jurie, Michel Dhome Contour/Texture Approach for Visual Tracking. Search on Bibsonomy SCIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ákos Schmidt, Dániel Varró CheckVML: A Tool for Model Checking Visual Modeling Languages. Search on Bibsonomy UML The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, formal verification, metamodeling, graph transformation, visual modeling languages
1Dimitrios Perperidis, Anil Rao, Raad Mohiaddin, Daniel Rueckert Non-rigid Spatio-Temporal Alignment of 4D Cardiac MR Images. Search on Bibsonomy WBIR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Florica Mindru, Luc J. Van Gool, Theo Moons Model Estimation for Photometric Changes of Outdoor Planar Color Surfaces Caused by Changes in Illumination and Viewpoint. Search on Bibsonomy ICPR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Chia-Ling Tsai, Charles V. Stewart, Badrinath Roysam, Howard L. Tanenbaum Covariance-driven retinal image registration initialized from small sets of landmark correspondences. Search on Bibsonomy ISBI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ali Can, Charles V. Stewart, Badrinath Roysam, Howard L. Tanenbaum A Feature-Based Technique for Joint Linear Estimation of High-Order Image-to-Mosaic Transformations: Mosaicing the Curved Human Retina. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF image montage, transformation estimation, joint estimation, robust estimation, image mosaic, retinal imaging
1Kirsten Winter, Roger Duke Model Checking Object-Z Using ASM. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF language transformation, automated tool support, model checking, Abstract State Machines, Object-Z
1Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi A Theoretical Foundation of Program Synthesis by Equivalent Transformation. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ali Can, Charles V. Stewart, Badrinath Roysam, Howard L. Tanenbaum A Feature-Based Technique for Joint, Linear Estimation of High-Order Image-to-Mosaic Transformations: Application to Mosaicing the Curved Human Retina. (PDF / PS) Search on Bibsonomy CVPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1David P. Paper, James A. Rodger, Parag C. Pendharkar Development and Initial Testing of a Theoretical Model of Transformation. (PDF / PS) Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Zhongxiu Hu, Scott T. Acton Morphological Pyramid Image Registration. Search on Bibsonomy SSIAI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Charles V. Stewart, Badrinath Roysam, Ali Can Robust Hierarchical Algorithm for Constructing a Mosaic from Images of the Curved Human Retina. (PDF / PS) Search on Bibsonomy CVPR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF laser retinal surgery, hierarchical matching, feature extraction, tracking, image registration, robust estimation, mosaic, retinal imaging, montage
1Berthold Hoffmann From Graph Transformation to Rule-Based Programming with Diagrams. Search on Bibsonomy AGTIVE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Bogdan G. Arsintescu, Ralph H. J. M. Otten Constraints Space Management for the Layout of Analog IC's. Search on Bibsonomy DATE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Daniel Rueckert, Carmel Hayes, Colin Studholme, Paul E. Summers, Martin O. Leach, David J. Hawkes Non-rigid Registration of Breast MR Images Using Mutual Information. Search on Bibsonomy MICCAI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Rafiul Ahad A Framework to Support an Object-Oriented View of Existing Engineering Databases. Search on Bibsonomy SIGSMALL/PC The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Don S. Batory Modeling the Storage Architectures of Commercial Database Systems. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #98 of 98 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.