3342 search results - page 395 / 669 » Automating Abstract Interpretation |
153
click to vote
VLDB
2007
ACM
16 years 21 days 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...
154
click to vote
ICRA
2006
IEEE
16 years 19 days 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...
180
click to vote
CVBIA
2005
Springer
16 years 3 days 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...
163
click to vote
FC
2005
Springer
16 years 3 days 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...
195
click to vote
LPAR
2005
Springer
16 years 2 days 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...