3356 search results - page 312 / 672 » Computing education for sustainability |
170
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
112
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract: Non-linear state estimation and some related topics, like parametric estimation, fault diagnosis, and perturbation attenuation, are tackled here via a new methodology in ...
164
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
—In this paper, the performance of signaling strategies with high peak-to-average power ratio is analyzed in both coherent and noncoherent fading channels. Two modulation schemes...
164
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
: The generalized problem of placing n queens on an n-by-n board provides an "embarrassingly parallel" problem for parallel solution. This paper expands on the discussion...
186
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...