Sciweavers

5128 search results - page 333 / 1026
» When Abstraction Fails
Sort
View
ICIC
2007
Springer
16 years 1 months ago
Fuzzy Modeling Via On-Line Clustering and Support Vector Machine
Abstract. This paper describes a novel fuzzy rule-based modeling approach for some slow industrial processses. Structure identification is realized by clustering and support vecto...
Julio César Tovar, Wen Yu, Xiaoou Li
IH
2007
Springer
16 years 1 months ago
Exposing Digital Forgeries Through Specular Highlights on the Eye
Abstract. When creating a digital composite of two people, it is difficult to exactly match the lighting conditions under which each individual was originally photographed. In many...
Micah K. Johnson, Hany Farid
LPAR
2007
Springer
16 years 1 months ago
Why Would You Trust B ?
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
Éric Jaeger, Catherine Dubois
MKM
2007
Springer
16 years 1 months ago
Spurious Disambiguation Error Detection
Abstract. The disambiguation approach to the input of formulae enables the user to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When ...
Claudio Sacerdoti Coen, Stefano Zacchiroli
PET
2007
Springer
16 years 1 months ago
Two-Sided Statistical Disclosure Attack
We introduce a new traffic analysis attack: the Two-sided Statistical Disclosure Attack, that tries to uncover the receivers of messages sent through an anonymizing network support...
George Danezis, Claudia Díaz, Carmela Tronc...