3146 search results - page 339 / 630 » Efficient Consequence Finding |
124
click to vote
CAD
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we propose a method which can be used to decompose a 2D or 3D constraint problem into a C-tree. With this decomposition, a geometric constraint problem can be reduc...
136
click to vote
CN
2006
15 years 4 months ago
2006
Finding paths that satisfy the performance requirements of applications according to the link state information in a network is known as the quality-of-service (QoS) routing probl...
128
click to vote
IJISEC
2008
15 years 4 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
116
click to vote
FGCS
2006
15 years 4 months ago
2006
This paper presents a predictable and grouped genetic algorithm (PGGA) for job scheduling. The novelty of the PGGA is twofold: (1) a job workload estimati...
FSS
2006
15 years 4 months ago
2006
This paper presents an automated fuzziness-driven algorithm for image enhancement.A class of parametric indices of fuzziness is introduced, which serves as the optimization criter...