3994 search results - page 485 / 799 » A Linear Logical Framework |
158
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This work provides a framework for the observability analysis of linear networked dynamic systems (NDS). A distinction is made between NDS that have homogeneous agent d...
179
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Relying on optimally distinguishable distributions (ODD), it was defined very recently a new framework for the composite hypothesis testing. We resort to the linear model to inve...
201
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper deals with the optimization of noisy fitness functions, where the noise level can be reduced by increasing the computational effort. We theoretically investigate th...
181
click to vote
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
We overview a new method for computing the arrangement of semi-algebraic curves. A subdivision approach is used to compute the topology of the algebraic objects and to segment the...
239
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...