Sciweavers

12084 search results - page 426 / 2417
» Effect Systems with Subtyping
Sort
View
RIAO
2000
15 years 9 months ago
Classification of Radiographs in the 'Image Retrieval in Medical Applications' - System
In this paper we present a new approach to classifying radiographs, which is the first important task of the IRMA system. Given an image, we compute posterior probabilities for ea...
Jörg Dahmen, Thomas Theiner, Daniel Keysers, ...
AAAI
1990
15 years 8 months ago
Shifting Ontological Perspectives in Reasoning About Physical Systems
Commitment to an ontological perspective is a primary aspect of reasoning about the physical world. For complex analytic tasks, the ability to switch between different ontologies ...
Zheng-Yang Liu, Arthur M. Farley
WCE
2007
15 years 8 months ago
Motor Management and Energy Saving by Integration of Motor Drive system
— In this paper a new-generation integral motor-drive has been demonstrated. It proposes a compact unit built to operate in arduous industrial environments with optimized power c...
M. Ektesabi, H. Felic
AICOM
2010
92views more  AICOM 2010»
15 years 7 months ago
SOLAR: An automated deduction system for consequence finding
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, O...
CEE
2010
64views more  CEE 2010»
15 years 7 months ago
Iterative decision feedback equalizer with cyclic detection for DFT-S OFDM system
This paper proposes a simple and efficient decision feedback equalizer (DFE) for Discrete Fourier Transform-Spread Orthogonal Frequency Division Multiplex (DFT-S OFDM) system in Ev...
Yafeng Wang, Hao Yang, Dacheng Yang, Wei Xiang