5109 search results - page 1009 / 1022 » On Learning Limiting Programs |
124
click to vote
AIME
2007
Springer
15 years 6 months ago
2007
Springer
Many machines used in the modern hospital settings offer real time physiological monitoring. Haemodialysis machines combine a therapeutic treatment system integrated with sophistic...
123
click to vote
VIZSEC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract Attack graphs for large enterprise networks improve security by revealing critical paths used by adversaries to capture network assets. Even with simplification, current a...
137
click to vote
MM
2006
ACM
15 years 6 months ago
2006
ACM
Automated annotation of digital pictures has been a highly challenging problem for computer scientists since the invention of computers. The capability of annotating pictures by c...
121
click to vote
SIGCSE
2005
ACM
15 years 6 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
111
Voted
CP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...