2542 search results - page 40 / 509 » integration 2010 |
DKE
2010
14 years 8 months ago
2010
Integration of software applications can be achieved on different levels: the data level, the business logic level, and the user interface level. Integration on the user interface ...
SODA
2010
ACM
15 years 8 months ago
2010
ACM
We consider the problem of testing whether the maximum additive integrality gap of a family of integer programs in standard form is bounded by a given constant. This can be viewed...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We present an efficient solution to the following problem, of relevance in a numerical optimization scheme: calculation of integrals of the type ZZ T {f0} 12 dx dy for quadratic p...
INTERSPEECH
2010
14 years 5 months ago
2010
We follow up on our research demonstrating that aerotactile information can enhance or interfere with accurate auditory perception, even among uninformed and untrained perceivers ...
ENTCS
2006
14 years 11 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...