12 search results - page 1 / 3 » Introduction to the Special Issue on Abstraction and Automat... |
CONSTRAINTS
2008
13 years 4 months ago
2008
EATIS
2007
ACM
13 years 8 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
CPAIOR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Constraint programming based column generation is a hybrid optimization framework recently proposed that uses constraint programming (CP) to solve column generation subpr...
APLAS
2000
ACM
13 years 9 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
TMI
2010
12 years 11 months ago
2010
Abstract--Reconstruction algorithms for fluorescence tomography have to address two crucial issues : (i) the ill-posedness of the reconstruction problem, (ii) the large scale of nu...