Sciweavers

849 search results - page 67 / 170
» The Early Restart Algorithm
Sort
View
SP
2000
IEEE
14 years 1 months ago
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
John A. Clark, Jeremy L. Jacob
BIRTHDAY
2008
Springer
14 years 9 hour ago
From Monadic Logic to PSL
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
Moshe Y. Vardi
ACE
2004
258views Education» more  ACE 2004»
13 years 11 months ago
Using a Maze Case Study to Teach Object-Oriented Programming and Design Patterns
In order to teach object-oriented design and programming in introductory computer science it is imperative to teach objects from the very beginning of the course. The use of inter...
Chris Nevison, Barbara Wells
ICML
2010
IEEE
13 years 11 months ago
Interactive Submodular Set Cover
We introduce a natural generalization of submodular set cover and exact active learning with a finite hypothesis class (query learning). We call this new problem interactive submo...
Andrew Guillory, Jeff Bilmes
SIGKDD
2008
158views more  SIGKDD 2008»
13 years 10 months ago
KDD cup 2008 and the workshop on mining medical data
In this report we summarize the KDD Cup 2008 task, which addressed a problem of early breast cancer detection. We describe the data and the challenges, the results and summarize t...
R. Bharat Rao, Oksana Yakhnenko, Balaji Krishnapur...