Sciweavers

4164 search results - page 637 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
BIOINFORMATICS
2010
127views more  BIOINFORMATICS 2010»
15 years 6 months ago
Analyzing taxonomic classification using extensible Markov models
Motivation: As next generation sequencing is rapidly adding new genomes, their correct placement in the taxonomy needs verification. However, the current methods for confirming cl...
Rao M. Kotamarti, Michael Hahsler, Douglas Raiford...
COMPSAC
2010
IEEE
15 years 4 months ago
A Consistency Model for Identity Information in Distributed Systems
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
Thorsten Höllrigl, Jochen Dinger, Hannes Hart...
CVPR
2007
IEEE
16 years 8 months ago
Thermal Imaging of the Superficial Temporal Artery: An Arterial Pulse Recovery Model
We present a novel model1 for measurement of the arterial pulse from the Superficial Temporal Artery (STA) using passive thermal Infra Red (IR) sensors. The proposed approach has ...
Sergey Y. Chekmenev, Aly A. Farag, Edward A. Essoc...
KDD
2002
ACM
166views Data Mining» more  KDD 2002»
16 years 7 months ago
Exploiting response models: optimizing cross-sell and up-sell opportunities in banking
The banking industry regularly mounts campaigns to improve customer value by offering new products to existing customers. In recent years this approach has gained significant mome...
Andrew Storey, Marc-David Cohen
USS
2008
15 years 9 months ago
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
Michael C. Martin, Monica S. Lam