Sciweavers

3951 search results - page 640 / 791
» Automatic amortized analysis
Sort
View
NLDB
2004
Springer
15 years 10 months ago
Lightweight Natural Language Database Interfaces
Most natural language database interfaces suffer from the translation knowledge portability problem, and are vulnerable to ill-formed questions because of their deep analysis. To a...
In-Su Kang, Seung-Hoon Na, Jong-Hyeok Lee, Gijoo Y...
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
15 years 10 months ago
The Succinct Solver Suite
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun,...
EDOC
2003
IEEE
15 years 10 months ago
An Agent-based Architecture for Analyzing Business Processes of Real-Time Enterprises
As the desire for business intelligence capabilities for e-business processes expands, existing workflow management systems and decision support systems are not able to provide co...
Jun-Jang Jeng, Josef Schiefer, Henry Chang
ICAT
2003
IEEE
15 years 10 months ago
Extracting Rheological Properties of Deformable Objects with Haptic Vision
In this paper, we propose a novel approach to extracting rheological properties of deformable objects based on Haptic vision, which was proposed for vision-based automatic constru...
Naoki Ueda, Kiyotaka Kushihama, Shin-iti Hirai, Hi...
ICDM
2003
IEEE
154views Data Mining» more  ICDM 2003»
15 years 10 months ago
MaPle: A Fast Algorithm for Maximal Pattern-based Clustering
Pattern-based clustering is important in many applications, such as DNA micro-array data analysis, automatic recommendation systems and target marketing systems. However, pattern-...
Jian Pei, Xiaoling Zhang, Moonjung Cho, Haixun Wan...