10718 search results - page 1778 / 2144 » On the Circuit Implementation Problem |
189
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
160
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents scheduling algorithms for procrastinators, where the speed that a procrastinator executes a job increases as the due date approaches. We give optimal off-line ...
187
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We present an accurate Lagrangian method based on vortex particles, level-sets, and immersed boundary methods, for animating the interplay between two fluids and rigid solids. We ...
167
click to vote
DSS
2006
15 years 6 months ago
2006
Proactive information sharing is a challenging issue faced by intelligence agencies in effectively making critical decisions under time pressure in areas related to homeland secur...
210
Voted
ECEASST
2006
15 years 6 months ago
2006
Mining for frequent subgraphs in a graph database has become a popular topic in the last years. Algorithms to solve this problem are used in chemoinformatics to find common molecul...