15777 search results - page 2610 / 3156 » Software Engineering |
158
click to vote
APAL
2010
15 years 4 months ago
2010
This paper is a sequel to the papers [4, 6] in which an alternative skolemization method called ekolemization was introduced that, when applied to the strong existential quantifie...
138
click to vote
BC
2010
15 years 4 months ago
2010
In a noisy system, such as the nervous system, can movements be precisely controlled as experimentally demonstrated? We point out that the existing theory of motor control fails to...
163
click to vote
CLEIEJ
2010
15 years 4 months ago
2010
Holonic networks constitute a type of organizational structures widely used at manufacturing enterprises. In an educational context, however, this type of structures remains practi...
161
click to vote
ENDM
2010
15 years 4 months ago
2010
This paper deals with an NP-hard bi-objective one-machine problem with ready times involving maximum lateness and unit family setup cost objectives. Considering separately both ob...
183
click to vote
ENDM
2010
15 years 4 months ago
2010
Many inequalities for Mixed-Integer Linear Programs (MILPs) or pure Integer Linear Programs (ILPs) are derived from the Gomory corner relaxation, where all the nonbinding constrai...