2152 search results - page 118 / 431 » A Comparative Study of 2QBF Algorithms |
150
click to vote
AI
2008
Springer
15 years 4 months ago
2008
Springer
In non-binary constraint satisfaction problems, the study of local consistencies that only prune values from domains has so far been largely limited to generalized arc consistency...
123
click to vote
JCM
2006
15 years 4 months ago
2006
QoS Routing has been studied to provide evidence that it can increase network utilization compared to routing that is insensitive to QoS traffic requirements. However, because of i...
132
Voted
IJAR
2008
15 years 4 months ago
2008
Proteomic profiling based on mass spectrometry is an important tool for studies at the protein and peptide level in medicine and health care. Thereby, the identification of releva...
134
Voted
HEURISTICS
2008
15 years 4 months ago
2008
Instruction scheduling is an important step for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction scheduling is to ...
136
click to vote
ICIP
1999
IEEE
16 years 5 months ago
1999
IEEE
This paper presents an iterative algorithm for approximating gray-scale images with adaptive triangular meshes ensuring a given tolerance. At each iteration, the algorithm applies...