3775 search results - page 146 / 755 » The Expression Problem Revisited |
162
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we consider the problem of optimal task allocation and scheduling in embedded real-time systems. This problem is far from trivial due to the wide range of c...
168
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
The Constraint Problems usually addressed fall into one of two models: the Constraint Satisfaction Problem (CSP) and the Constraint Optimization Problem (COP). However, in many rea...
206
click to vote
CSR
2010
Springer
15 years 11 months ago
2010
Springer
We show that a logical framework, based around a fragment of existential second-order logic formerly proposed by others so as to capture the class of polynomially-bounded P-optimi...
147
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
To apply time-varying port-controlled Hamiltonian (PCH) systems to practical control designs, two basic problems should be dealt with: one is how to provide such time-varying syst...
190
click to vote
IJCSA
2007
15 years 6 months ago
2007
A large number of problems that occur in knowledge-representation, learning, VLSI-design, and other areas of artificial intelligence, are essentially satisfiability problems. The ...