12981 search results - page 2403 / 2597 » Model Checking (Abstract) |
149
Voted
JODL
2007
2007
Building rich, semantic descriptions of learning activities to facilitate reuse in digital libraries
15 years 3 months ago
Abstract This paper describes efforts to extend educational descriptions of learning objects to enable semantic search for suitable resources held within digital libraries and cybe...
106
Voted
TSP
2008
15 years 3 months ago
2008
Abstract--In this paper, we develop an adaptive waveform design method for target tracking under a framework of sequential Bayesian inference. We employ polarization diversity to i...
117
Voted
TSP
2008
15 years 3 months ago
2008
Abstract--We consider the adaptive detection of a signal of interest embedded in colored noise, when the environment is nonhomogeneous, i.e., when the training samples used for ada...
179
Voted
JOT
2007
15 years 3 months ago
2007
machines raise the abstraction level of the execution environment at the cost of restricting the set of supported languages. Moreover, the ability of a language implementation to i...
102
click to vote
TSP
2008
15 years 3 months ago
2008
Abstract-- This paper presents novel results on Perfect Reconstruction Feedback Quantizers (PRFQs), i.e., noise-shaping, predictive and sigma-delta A/D converters whose signal tran...