3591 search results - page 334 / 719 » Typing linear constraints |
199
click to vote
ESSMAC
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. We consider a linear system, such as an estimator or a controller, in which several signals are transmitted over wireless communication channels. With the coding and medi...
193
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
182
click to vote
ISIPTA
2005
IEEE
16 years 14 days ago
2005
IEEE
When considering sampling models described by a distribution from an exponential family, it is possible to create two types of imprecise probability models. One is based on the co...
163
click to vote
TAPIA
2005
ACM
16 years 13 days ago
2005
ACM
We present a numerical experimentation of the global optimization algorithm presented by Velázquez et. al. [3] applied to a nonlinear hyperboloid least squares problem. This prob...
181
click to vote
ECML
2005
Springer
16 years 12 days ago
2005
Springer
We propose an omnivariate decision tree architecture which contains univariate, multivariate linear or nonlinear nodes, matching the complexity of the node to the complexity of the...