3591 search results - page 334 / 719 » Typing linear constraints |
230
click to vote
ESSMAC
2003
Springer
16 years 24 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...
218
click to vote
LICS
2008
IEEE
16 years 2 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...
198
Voted
ISIPTA
2005
IEEE
16 years 1 months 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...
179
Voted
TAPIA
2005
ACM
16 years 1 months 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...
200
click to vote
ECML
2005
Springer
16 years 1 months 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...