Sciweavers

16513 search results - page 3134 / 3303
» Numerical Analysis Methods
Sort
View
130
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
125
Voted
CAIP
2003
Springer
133views Image Analysis» more  CAIP 2003»
15 years 8 months ago
Optimizing Eigenfaces by Face Masks for Facial Expression Recognition
A new direction in improving modern dialogue systems is to make a human-machine dialogue more similar to a human-human dialogue. This can be done by adding more input modalities. O...
Carmen Frank, Elmar Nöth
145
Voted
EDBT
2010
ACM
189views Database» more  EDBT 2010»
15 years 8 months ago
Efficient physical operators for cost-based XPath execution
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
Haris Georgiadis, Minas Charalambides, Vasilis Vas...
134
Voted
ACSAC
2002
IEEE
15 years 8 months ago
A Practical Approach to Identifying Storage and Timing Channels: Twenty Years Later
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...
Richard A. Kemmerer
140
Voted
AIPR
2002
IEEE
15 years 8 months ago
Hyperspectral Imaging of Kaposi's Sarcoma for Disease Assessment and Treatment Monitoring
Light spectroscopic methods are critical to advances in molecular characterization of disease processes. However, these methods have been limited to in-vitro or cell culture studi...
David Hattery, Moinuddin Hassan, Stavros Demos, Am...
« Prev « First page 3134 / 3303 Last » Next »