Sciweavers

782 search results - page 111 / 157
» Supporting the analytical reasoning process in information v...
Sort
View
ICSE
2003
IEEE-ACM
16 years 5 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»
16 years 4 days 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
158
Voted
UM
2001
Springer
15 years 10 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»
15 years 12 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
16 years 2 days 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