Sciweavers

570 search results - page 23 / 114
» Web-Based Feature Reduction System: A Case Study
Sort
View
ICDE
2003
IEEE
193views Database» more  ICDE 2003»
14 years 9 months ago
An Adaptive and Efficient Dimensionality Reduction Algorithm for High-Dimensional Indexing
The notorious "dimensionality curse" is a well-known phenomenon for any multi-dimensional indexes attempting to scale up to high dimensions. One well known approach to o...
Hui Jin, Beng Chin Ooi, Heng Tao Shen, Cui Yu, Aoy...
AMAST
2006
Springer
13 years 11 months ago
State Space Reduction of Rewrite Theories Using Invisible Transitions
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
Azadeh Farzan, José Meseguer
CAV
2004
Springer
108views Hardware» more  CAV 2004»
13 years 11 months ago
Functional Dependency for Verification Reduction
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
Jie-Hong Roland Jiang, Robert K. Brayton
JSS
2006
127views more  JSS 2006»
13 years 7 months ago
An approach to feature location in distributed systems
This paper describes an approach to the feature location problem for distributed systems, that is, to the problem of locating which code components are important in providing a pa...
Dennis Edwards, Sharon Simmons, Norman Wilde
FIW
2009
138views Communications» more  FIW 2009»
13 years 5 months ago
Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System
Abstract. This paper presents an online detection and resolution method for feature interactions among integrated services in home network systems. To achieve reasonable online det...
Masahide Nakamura, Hiroshi Igaki, Yuhei Yoshimura,...