728 search results - page 76 / 146 » Efficient Searching with Linear Constraints |
171
Voted
REFSQ
2007
Springer
16 years 6 days ago
2007
Springer
This paper investigates two integer linear programming models that integrate requirement scheduling into software release planning. The first model can schedule the development of ...
143
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Due to resource constraints, Web archiving systems and search engines usually have difficulties keeping the entire local repository synchronized with the Web. We advance the state...
200
click to vote
FCCM
2009
IEEE
15 years 10 months ago
2009
IEEE
Scheduling and partitioning of task graphs on reconfigurable hardware needs to be carefully carried out in order to achieve the best possible performance. In this paper, we demons...
159
Voted
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
147
click to vote
RIAO
2007
15 years 7 months ago
2007
Web semantic access in specific domains calls for specialized search engines with enhanced semantic querying and indexing capacities, which pertain both to information retrieval (...