726 search results - page 91 / 146 » Formal Requirements Engineering: Learning from the Students |
171
click to vote
KDD
2007
ACM
16 years 6 months ago
2007
ACM
We present DL8, an exact algorithm for finding a decision tree that optimizes a ranking function under size, depth, accuracy and leaf constraints. Because the discovery of optimal...
190
click to vote
ASIACRYPT
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. We describe a public-key encryption scheme based on lattices — specifically, based on the hardness of the learning with error (LWE) problem — that is secure against ...
137
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Design, control, and performance of a ball-throwing robot are examined in this paper. The objective of this project is to provide an interactive ball-throwing robotic arm for illu...
157
click to vote
IWPC
2006
IEEE
16 years 14 hour ago
2006
IEEE
Code obfuscation makes it harder for a security analyst to understand the malicious payload of a program. In most cases an analyst needs to study the program at the machine code l...
174
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
The Ringling School of Art and Design is a fully accredited four year college of visual art and design with a student population of approximately 1000. The Ringling School has ach...