5684 search results - page 681 / 1137 » Computing with active dendrites |
206
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
213
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Since current computer infrastructures are increasingly vulnerable to malicious activities, intrusion detection is necessary but unfortunately not sufficient. We need to design ef...
168
click to vote
CARDIS
2006
Springer
15 years 10 months ago
2006
Springer
Smartcards are being used as secure endpoints in computer transactions. Recently, the connectivity of smartcards has increased and future smartcards will be able to communicate ove...
181
click to vote
EUSAI
2004
Springer
15 years 10 months ago
2004
Springer
Pervasive resp. ubiquitous systems use context information to adapt appliance behavior to human needs. Even more convenience is reached if the appliance foresees the user's de...
192
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present a new method to obtain the contours of color faces. First, we introduce a new nonlinear skin classifier to detect the human skin information in images. T...