4067 search results - page 98 / 814 » Programs for Applying Symmetries |
BIRTHDAY
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In the implementation of procedures, developers often assume that the input satisfies certain properties; for example, binary search assumes the array to be sorted. Such...
COR
2011
13 years 3 months ago
2011
Branching in mixed-integer (or integer) linear programming requires choosing both the branching variable and the branching direction. This paper develops a number of new methods f...
PAMI
2011
13 years 3 months ago
2011
Optimization is a powerful paradigm for expressing and solving problems in a wide range of areas, and has been successfully applied to many vision problems. Discrete optimization ...
PADL
2001
Springer
14 years 16 days ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...