4340 search results - page 852 / 868 » Formal Methods and Cryptography |
102
click to vote
FIW
2007
15 years 1 months ago
2007
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three...
IJCAI
2007
15 years 1 months ago
2007
Using the achievements of my research group over the last 30+ years, I provide evidence to support the following hypothesis: By complementing each other, cooperating reasoning pro...
111
Voted
NIPS
2008
15 years 1 months ago
2008
CAPTCHAs are computer-generated tests that humans can pass but current computer systems cannot. CAPTCHAs provide a method for automatically distinguishing a human from a computer ...
115
click to vote
DAGSTUHL
2006
15 years 1 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
109
click to vote
ECIS
2001
15 years 1 months ago
2001
Despite evidence that the majority of knowledge management (KM) initiatives miscarry, there has been a paucity of critical, in-depth research into the causes of failure. In this p...