949 search results - page 89 / 190 » Theory of Constraints |
AMAI
2008
Springer
15 years 25 days ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
AUTOMATICA
2008
15 years 25 days ago
2008
This paper is concerned with obtaining necessary and sufficient conditions for fulfilling specified state and control pointwise-in-time constraints against a certain class of nonli...
91
Voted
CAGD
2007
15 years 21 days ago
2007
Energies of curves and surfaces together with their discrete variants play a prominent role as fairness functionals in geometric modeling and computer aided geometric design. This ...
109
click to vote
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
We propose a new approach to semi-supervised clustering that utilizes boosting to simultaneously learn both a similarity measure and a clustering of the data from given instancele...
STTT
2010
14 years 7 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...