149 search results - page 4 / 30 » A realizability interpretation for classical analysis |
TASE
2007
IEEE
14 years 1 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
SIPS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, the Time-Division Multiplexing (TDM) architecture for the Hybrid Filter Bank (HFB) A/D Converters (ADCs) is studied in the time domain. Giving a brief survey on the...
DAGM
2005
Springer
14 years 1 months ago
2005
Springer
A histogram-based method for the interpretation of three-dimensional (3D) point clouds is introduced, where point clouds represent the surface of a scene of multiple objects and ba...
ROMAN
2007
IEEE
14 years 1 months ago
2007
IEEE
— For a robot to be able to first understand and then achieve a human’s goals, it must be able to reason about a) the context of the current situation (with respect to which i...
BMCBI
2004
13 years 7 months ago
2004
Background: One of the most time-consuming tasks after performing a gene expression experiment is the biological interpretation of the results by identifying physiologically impor...