Sciweavers

3775 search results - page 146 / 755
» The Expression Problem Revisited
Sort
View
CP
2001
Springer
15 years 8 months ago
Evaluation of Search Heuristics for Embedded System Scheduling Problems
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...
Cecilia Ekelin, Jan Jonsson
130
Voted
CP
2001
Springer
15 years 8 months ago
Partially Ordered Constraint Optimization Problems
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...
Marco Gavanelli
CSR
2010
Springer
15 years 8 months ago
Frameworks for Logically Classifying Polynomial-Time Optimisation Problems
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...
James Gate, Iain A. Stewart
107
Voted
AUTOMATICA
2005
78views more  AUTOMATICA 2005»
15 years 3 months ago
Problems on time-varying port-controlled Hamiltonian systems: geometric structure and dissipative realization
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...
Yuzhen Wang, Daizhan Cheng, Xiaoming Hu
141
Voted
IJCSA
2007
104views more  IJCSA 2007»
15 years 3 months ago
Solving the Satisfiability Problem Using Finite Learning Automata
A large number of problems that occur in knowledge-representation, learning, VLSI-design, and other areas of artificial intelligence, are essentially satisfiability problems. The ...
Ole-Christoffer Granmo, Noureddine Bouhmala