3779 search results - page 373 / 756 » Linear Consistency Testing |
175
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
172
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— Microprocessors can have design errors that escape the test and validation process. The cost to rectify these errors after shipping the processors can be very expensive as it m...
206
click to vote
WEA
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This work deals with the Vehicle Routing Problem with Simultaneous Pickup and Delivery. We propose undirected and directed two-commodity flow formulations, which are bas...
175
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these impleme...
162
click to vote
WEA
2009
Springer
16 years 1 months ago
2009
Springer
A dynamic shortest-path algorithm is called a batch algorithm if it is able to handle graph changes that consist of multiple edge updates at a time. In this paper we focus on fully...