10 search results - page 1 / 2 » On SAT Technologies for Dependency Management and Beyond |
SPLC
2008
14 years 11 months ago
2008
SAT solvers technology is now mature enough to be part of the engineer toolbox side by side with Mixed Integer Programming and Constraint Programming tools. As of June 2008, two g...
157
Voted
ECIS
2011
13 years 10 months ago
2011
1 Information technology (IT) has a tremendous impact on the discipline of accounting by introducing new ways of retrieving and processing information about performance deviations ...
77
Voted
EMISA
2009
Springer
15 years 4 months ago
2009
Springer
: This keynote reports on a new class of processes - so called fluid processes - whose ”engineering” and ”use” is indistinguishable. Fluid processes are continually being ...
SIGUCCS
2004
ACM
15 years 3 months ago
2004
ACM
Academic institutions’ dependence on web-based technologies to improve efficiency in class offerings, academic records, and office documentation is increasing at a rapid pace. T...
86
Voted
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
Entity information management (EIM) is a nascent IR research area that investigates the information management process about entities instead of documents. It is motivated by the ...