44651 search results - page 175 / 8931 » Generalized |
167
click to vote
AAAI
2008
15 years 7 months ago
2008
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...
167
click to vote
CSB
2005
IEEE
15 years 6 months ago
2005
IEEE
In our effort to elucidate the systems biology of the model organism, Escherichia coli, we have developed a mathematical model that simulates the allosteric regulation for threoni...
172
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
In autonomous agent systems, memory is an important element to handle agent behaviors appropriately. We present the analysis of memory requirements for robotic tasks including wal...
161
Voted
FC
2008
Springer
15 years 6 months ago
2008
Springer
Oblivious transfer (OT) is a fundamental primitive used in many cryptographic protocols, including general secure function evaluation (SFE) protocols. However, interaction is a pri...
121
Voted
ACISP
2010
Springer
15 years 6 months ago
2010
Springer
We introduce a "generalized small inverse problem (GSIP)" and present an algorithm for solving this problem. GSIP is formulated as finding small solutions of f(x0, x1, . ...