Sciweavers

104 search results - page 9 / 21
» aime 1997
Sort
View
HYBRID
1997
Springer
14 years 2 months ago
Relating Time Progress and Deadlines in Hybrid Systems
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
Sébastien Bornot, Joseph Sifakis
KDD
1997
ACM
109views Data Mining» more  KDD 1997»
14 years 2 months ago
Selecting Features by Vertical Compactness of Data
Feature selection is a data preprocessing step for classi cation and data mining tasks. Traditionally, feature selection is done by selecting a minimum number of features that det...
Ke Wang, Suman Sundaresh
PLILP
1997
Springer
14 years 2 months ago
Narrowing the Narrowing Space
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...
Sergio Antoy, Zena M. Ariola
WER
2000
Springer
14 years 1 months ago
O Uso do Framework NFR no Projeto de Banco de Dados
Distributed database design is a complex process that involves a set of distinct aspects for the accomplishment of an adequate data distribution (Buretta 1997). Many of these aspec...
Márcia Santos, Maria Lencastre, Jaelson Bre...
ECIS
2000
13 years 11 months ago
The Online Retailing Challenge: Forward Integration and E-Backend Development
This paper aims to categorize some of the fundamental information systems (IS) challenges with the development of consumer-oriented electronic commerce or online retailing. With th...
Christoph Schlueter Langdon, Michael J. Shaw