Sciweavers

849 search results - page 67 / 170
» The Early Restart Algorithm
Sort
View
110
Voted
SP
2000
IEEE
15 years 5 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
97
Voted
BIRTHDAY
2008
Springer
15 years 4 months 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»
15 years 3 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
15 years 3 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»
15 years 2 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...