Sciweavers

53390 search results - page 228 / 10678
» Computer Systems Analysis
Sort
View
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
16 years 9 hour ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond
BMCBI
2006
91views more  BMCBI 2006»
15 years 6 months ago
Development of computations in bioscience and bioinformatics and its application: review of the Symposium of Computations in Bio
The first symposium of computations in bioinformatics and bioscience (SCBB06) was held in Hangzhou, China on June 21
Youping Deng, Jun Ni, Chaoyang Zhang
WWW
2010
ACM
16 years 1 months ago
Detection and analysis of drive-by-download attacks and malicious JavaScript code
JavaScript is a browser scripting language that allows developers to create sophisticated client-side interfaces for web applications. However, JavaScript code is also used to car...
Marco Cova, Christopher Krügel, Giovanni Vign...
DSOM
2000
Springer
15 years 10 months ago
Operational Data Analysis: Improved Predictions Using Multi-computer Pattern Detection
Operational Data Analysis (ODA) automatically 1) monitors the performance of a computer through time, 2) stores such information in a data repository, 3) applies data-mining techn...
Ricardo Vilalta, Chidanand Apté, Sholom M. ...
CVPR
2000
IEEE
16 years 8 months ago
Recognizing Upper Face Action Units for Facial Expression Analysis
We develop an automatic system to analyze subtle changes in upper face expressions based on both permanent facial features (brows, eyes, mouth)andtransient facial features (deepen...
Ying-li Tian, Takeo Kanade, Jeffrey F. Cohn
« Prev « First page 228 / 10678 Last » Next »