2373 search results - page 412 / 475 » On the Theory of Structural Subtyping |
185
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
211
click to vote
CSCW
2011
ACM
14 years 9 months ago
2011
ACM
This ethnographic study of 22 diverse families in the San Francisco Bay Area explores parents’ attitudes about their children’s use of technology. We found that parents from d...
213
Voted
ESOP
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
211
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
In this paper we examine a class of multiple-input, singleoutput (MISO) nonlinear systems of the block-oriented structure. In particular, we focus on MISO Hammerstein systems bein...
254
click to vote
Publication
The space-time geometric structure of Maxwell’s equations is examined and a subset of them is found to define a pair of exact discrete time-stepping relations. The desirability ...