4126 search results - page 203 / 826 » Set based logic programming |
134
click to vote
TCS
2010
15 years 29 days ago
2010
Horn⊃ is a logic programming language which extends usual Horn clauses by adding intuitionistic implication in goals and clause bodies. This extension can be seen as a form of s...
101
Voted
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
We consider a general class of timed automata parameterized by a set of "input-determined" operators, in a continuous time setting. We show that for any such set of opera...
120
Voted
CPAIOR
2005
Springer
15 years 8 months ago
2005
Springer
The Employee Timetabling Problem (ETP) is a general class of problems widely encountered in service organizations (such as call centers for instance). Given a set of activities, a ...
117
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
We provide an asymptotically tight, computationally efficient approximation of the joint spectral radius of a set of matrices using sum of squares (SOS) programming. The approach i...
111
Voted
EUSFLAT
2007
15 years 4 months ago
2007
In many regression learning algorithms for fuzzy rule bases it is not possible to define the error measure to be optimized freely. A possible alternative is the usage of global o...