Sciweavers

8795 search results - page 1331 / 1759
» Measuring Generality of Documents
Sort
View
QEST
2006
IEEE
16 years 25 days ago
Compositional Quantitative Reasoning
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
Krishnendu Chatterjee, Luca de Alfaro, Marco Faell...
ACIVS
2006
Springer
16 years 25 days ago
Discrete Choice Models for Static Facial Expression Recognition
In this paper we propose the use of Discrete Choice Analysis (DCA) for static facial expression classification. Facial expressions are described with expression descriptive units ...
Gianluca Antonini, Matteo Sorci, Michel Bierlaire,...
ACMICEC
2006
ACM
186views ECommerce» more  ACMICEC 2006»
16 years 24 days ago
Distrust and trust in B2C e-commerce: do they differ?
Researchers have not studied e-commerce distrust as much as ecommerce trust. This study examines whether trust and distrust are distinct concepts. If trust and distrust are the sa...
D. Harrison McKnight, Vivek Choudhury
ACMSE
2006
ACM
16 years 24 days ago
Assessing denial of service vulnerabilities in DOCSIS
In previous work a DOCSIS model was added to ‘ns’ to allow simulations to be run to analyze the performance of DOCSIS. These simulations showed that congestion caused by the a...
Scott Moser, Jim Martin
ACMSE
2006
ACM
16 years 24 days ago
Automatic quality assessment of Affymetrix GeneChip data
Computing reliable gene expression levels from microarray experiments is a sophisticated process with many potential pitfalls. Quality control is one of the most important steps i...
Steffen Heber, Beate Sick
« Prev « First page 1331 / 1759 Last » Next »