20059 search results - page 3963 / 4012 » The Satellite Data Model |
127
Voted
APLAS
2010
ACM
15 years 28 days ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
107
click to vote
AIPS
2010
15 years 27 days ago
2010
We introduce the Scanalyzer planning domain, a domain for classical planning which models the problem of automatic greenhouse logistic management. At its mathematical core, the Sc...
136
click to vote
MM
2010
ACM
15 years 27 days ago
2010
ACM
We present an interactive application that enables users to improve the visual aesthetics of their digital photographs using spatial recomposition. Unlike earlier work that focuse...
102
click to vote
BPM
2010
Springer
15 years 27 days ago
2010
Springer
Ticket routing is key to the efficiency of IT problem management. Due to the complexity of many reported problems, problem tickets typically need to be routed among various expert ...
114
click to vote
SIGCOMM
2010
ACM
15 years 27 days ago
2010
ACM
This paper proposes an architecture for optimized resource allocation in Infrastructure-as-a-Service (IaaS)-based cloud systems. Current IaaS systems are usually unaware of the ho...