6300 search results - page 246 / 1260 » We have it easy, but do we have it right |
121
Voted
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
111
click to vote
TISSEC
2008
15 years 1 months ago
2008
In commonplace text-based password schemes, users typically choose passwords that are easy to recall, exhibit patterns, and are thus vulnerable to brute-force dictionary attacks. ...
182
click to vote
POPL
1995
ACM
15 years 5 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
124
Voted
AI
2006
Springer
15 years 1 months ago
2006
Springer
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
121
click to vote
AVSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Tracking humans in an indoor environment is an essential part of surveillance systems. Vision based and microphone array based trackers have been extensively researched in the pas...