1264 search results - page 115 / 253 » The framework approach for constraint satisfaction |
131
click to vote
AIMS
2007
Springer
16 years 17 days ago
2007
Springer
We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able...
154
click to vote
TASLP
2010
15 years 1 months ago
2010
We introduce two new methods for the demodulation of acoustic signals by posing the problem in a convex optimization framework. This allows the parameters of the modulator and carr...
158
click to vote
CDC
2008
IEEE
16 years 26 days ago
2008
IEEE
— This paper deals with real-time control under computational constraints. A robust control approach to control/real-time scheduling co-design is proposed using the H∞ framewor...
184
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
145
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. PARADIGMA (PARticipative Approach to DIsease Global Management) is a pilot project which aims to develop and demonstrate an Internet based reference framework to share sc...