30570 search results - page 6072 / 6114 » An Image Data Model |
118
click to vote
APLAS
2010
ACM
15 years 1 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...
BPM
2010
Springer
15 years 19 hour 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 ...
104
click to vote
SIGCOMM
2010
ACM
15 years 17 hour 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...
101
click to vote
SOUPS
2010
ACM
15 years 15 hour ago
2010
ACM
Home networks are common but notoriously difficult to setup and maintain. The difficulty users experience in setting up and maintaining their home network is problematic because o...
109
click to vote
ECCV
2010
Springer
15 years 11 hour ago
2010
Springer
Abstract. With the rapid development of fast data acquisition techniques, 3D scans that record the geometric and photometric information of deformable objects are routinely acquire...