3342 search results - page 159 / 669 » Automating Abstract Interpretation |
127
Voted
AAMAS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
135
Voted
CONCURRENCY
2007
15 years 2 months ago
2007
Abstract. The memory hierarchy plays an essential role in the performance of current computers, thus good analysis tools that help predict and understand its behavior are required....
137
Voted
ISVC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a framework for combining automated and interactive visual analysis techniques for use on high-resolution biomechanical data. Analyzing the complex 3D motion o...
110
Voted
ICCBR
2007
Springer
15 years 9 months ago
2007
Springer
This paper introduces the approach CBRDIA (Case Based Reasoning for Document Invoice Analysis) which uses the principles of case-based reasoning to analyze, recognize and interpret...
121
Voted
ECCV
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. We investigate a strategy for reconstructing of buildings from multiple (uncalibrated) images. In a similar manner to the Facade approach we first generate a coarse piece...