3342 search results - page 395 / 669 » Automating Abstract Interpretation |
131
click to vote
VLDB
2007
ACM
15 years 11 months ago
2007
ACM
Improving business processes is critical to any corporation. Process improvement requires analysis as its first basic step. Process analysis has many unique challenges: i) compani...
128
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— The vibratory bowl feeder remains the most common approach to the automated feeding (orienting) of industrial parts. We study the algorithmic design of devices on the b...
145
Voted
CVBIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents the creation of 3D statistical shape models of the knee bones and their use to embed information into a segmentation system for MRIs of the knee. We p...
133
click to vote
FC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Ciphire Mail is cryptographic software that provides email encryption and digital signatures. The Ciphire Mail client resides on the user's computer between the emai...
152
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...