Sciweavers

782 search results - page 111 / 157
» Supporting the analytical reasoning process in information v...
Sort
View
ICSE
2003
IEEE-ACM
14 years 8 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
COSIT
2009
Springer
179views GIS» more  COSIT 2009»
14 years 3 months ago
An Algebraic Approach to Image Schemas for Geographic Space
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
Lisa Walton, Michael F. Worboys
UM
2001
Springer
14 years 1 months ago
Utility-Based Decision Tree Optimization: A Framework for Adaptive Interviewing
Abstract: An emerging practice in e-commerce systems is to conduct interviews with buyers in order to identify their needs. The goal of such an interview is to determine sets of pr...
Markus Stolze, Michael Ströbel
ICMCS
2007
IEEE
319views Multimedia» more  ICMCS 2007»
14 years 3 months ago
Bilateral Back-Projection for Single Image Super Resolution
In this paper, a novel algorithm for single image super resolution is proposed. Back-projection [1] can minimize the reconstruction error with an efficient iterative procedure. A...
Shengyang Dai, Mei Han, Ying Wu, Yihong Gong
ICUIMC
2009
ACM
14 years 3 months ago
PicAChoo: a tool for customizable feature extraction utilizing characteristics of textual data
Although documents have hundreds of thousands of unique words, only a small number of words are significantly useful for intelligent services. For this reason, feature extraction ...
Jaeseok Myung, Jung-Yeon Yang, Sang-goo Lee