3342 search results - page 136 / 669 » Automating Abstract Interpretation |
ICRA
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— Automation of transportation systems and promotion of the operations are becoming an international demand on seaport container terminals. For this issue, we propose an ...
PRICAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
CPAIOR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific ...
100
click to vote
DLOG
2007
15 years 1 months ago
2007
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
80
Voted
STTT
2008
14 years 11 months ago
2008
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...