726 search results - page 91 / 146 » Formal Requirements Engineering: Learning from the Students |
103
click to vote
KDD
2007
ACM
16 years 7 days 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...
123
click to vote
ASIACRYPT
2009
Springer
15 years 6 months 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 ...
ICRA
2002
IEEE
15 years 4 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...
IWPC
2006
IEEE
15 years 5 months 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...
SIGUCCS
2003
ACM
15 years 5 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...