4737 search results - page 604 / 948 » The LOGIC negotiation model |
212
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
202
click to vote
ERSA
2009
15 years 5 months ago
2009
An increasing number of embedded system solutions in space, military, and consumer electronics applications rely on processor cores inside reconfigurable logic devices. Ensuring da...
218
Voted
EUSFLAT
2009
15 years 5 months ago
2009
In this paper, computer vision and fuzzy set theory are merged for the robust construction of three-dimensional objects using a small number of cameras and minimal a priori knowled...
269
Voted
EUSFLAT
2009
15 years 5 months ago
2009
This paper proposes an optimization strategy which is based on neural networks and genetic algorithms to calculate the optimal values of gas injection rate and oil rate for oil pro...
239
click to vote
JSS
2010
15 years 2 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...