1453 search results - page 187 / 291 » Partial Constraint Satisfaction |
168
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
150
click to vote
SIAMCO
2008
15 years 4 months ago
2008
A class of optimal control problem for a semilinear elliptic partial differential equation with control constraints is considered. It is well known that sufficient second-order con...
IJFCS
2007
15 years 4 months ago
2007
Weighted finite automata (WFA) are used with FPGA accelerating hardware to scan large genomic banks. Hardwiring such automata raises surface area and clock frequency constraints,...
172
click to vote
CP
2011
Springer
14 years 4 months ago
2011
Springer
The distance between two graphs is usually defined by means of the size of a largest common subgraph. This common subgraph may be an induced subgraph, obtained by removing nodes, ...
172
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
Effective scheduling in large-scale computational grids is challenging because it requires tracking the dynamic state of the large number of distributed resources that comprise th...