5550 search results - page 174 / 1110 » Different Approaches to Proof Systems |
164
click to vote
SECRYPT
2010
15 years 4 months ago
2010
: EnCoRe: Towards a holistic approach to privacy Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson HP Laboratories HPL-2010-83 privacy policies...
161
click to vote
ESANN
2001
15 years 7 months ago
2001
In this article, a real-coded genetic algorithm (GA) is proposed capable of simultaneously optimizing the structure of a system (number of inputs, membership functions and rules) ...
170
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
—This article studies the scheduling of critical embedded systems, which consist of a set of communicating periodic tasks with constrained deadlines. Currently, tasks are usually...
162
click to vote
PAMI
2010
15 years 4 months ago
2010
—Advanced driver assistance systems (ADASs), and particularly pedestrian protection systems (PPSs), have become an active research area aimed at improving traffic safety. The maj...
143
click to vote
USENIX
1994
15 years 7 months ago
1994
The NetWare operating system is designed specifically to provide service to clients over a computer network. This design has resulted in a system that differs in several respects ...