Sciweavers

1845 search results - page 251 / 369
» Automatic Initiation of an Ontology
Sort
View
VLDB
1997
ACM
169views Database» more  VLDB 1997»
15 years 10 months ago
Mining Insurance Data at Swiss Life
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...
Jörg-Uwe Kietz, Ulrich Reimer, Martin Staudt
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 10 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
ICCV
1995
IEEE
15 years 10 months ago
Adaptive Shape Evolution Using Blending
We propose a shape representation scheme which allows two shapes to be combined into a single model. The desired regions of the two shapes are selected, and then merged together f...
Douglas DeCarlo, Dimitris N. Metaxas
ISLPED
1997
ACM
130views Hardware» more  ISLPED 1997»
15 years 10 months ago
K2: an estimator for peak sustainable power of VLSI circuits
New measures of peak power in the context of sequential circuits are proposed. This paper presents an automatic procedure to obtain very good lower bounds on these measures as wel...
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. P...
ISLPED
1995
ACM
70views Hardware» more  ISLPED 1995»
15 years 10 months ago
Transformation and synthesis of FSMs for low-power gated-clock implementation
We present a technique that automatically synthesizes nite state machines with gated clocks to reduce the power dissipation of the nal implementation. We describe a new transfor...
Luca Benini, Giovanni De Micheli