Sciweavers

636 search results - page 85 / 128
» The AXML Artifact Model
Sort
View
ICIP
2008
IEEE
14 years 9 months ago
A block-based super-resolution for video sequences
An algorithm for video resolution enhancement is presented. The approach borrows from previous methods for still-image superresolution, introducing modifications better suited for...
Ryan S. Prendergast, Truong Q. Nguyen
IPMI
2007
Springer
14 years 8 months ago
A Fuzzy, Nonparametric Segmentation Framework for DTI and MRI Analysis
This paper presents a novel statistical fuzzy-segmentation method for diffusion tensor (DT) images and magnetic resonance (MR) images. Typical fuzzy-segmentation schemes, e.g. thos...
Suyash P. Awate, James C. Gee
KDD
2004
ACM
162views Data Mining» more  KDD 2004»
14 years 8 months ago
Discovering Links Between Lexical and Surface Features in Questions and Answers
Information retrieval systems, based on keyword match, are evolving to question answering systems that return short passages or direct answers to questions, rather than URLs point...
Soumen Chakrabarti
ICSE
2004
IEEE-ACM
14 years 7 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...
ICECCS
2009
IEEE
140views Hardware» more  ICECCS 2009»
14 years 2 months ago
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
Angelika Kusel, Wieland Schwinger, Manuel Wimmer, ...