Sciweavers

11168 search results - page 1788 / 2234
» Abstract State Processes
Sort
View
EON
2008
15 years 5 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
ICAI
2008
15 years 5 months ago
Nonrestrictive Concept-Acquisition by Representational Redescription
coarse procedures or very abstract frames from the point of view of algorithm, because some crucial issues like the representation, evolution, storage, and learning process of conc...
Hui Wei, Yan Chen
BMCBI
2010
134views more  BMCBI 2010»
15 years 3 months ago
Semi-automated screening of biomedical citations for systematic reviews
Background: Systematic reviews address a specific clinical question by unbiasedly assessing and analyzing the pertinent literature. Citation screening is a time-consuming and crit...
Byron C. Wallace, Thomas A. Trikalinos, Joseph Lau...
TCAD
2008
183views more  TCAD 2008»
15 years 3 months ago
Systematic and Automated Multiprocessor System Design, Programming, and Implementation
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...
Hristo Nikolov, Todor Stefanov, Ed F. Deprettere
101
Voted
JOCN
2010
129views more  JOCN 2010»
15 years 2 months ago
Arabic Morphology in the Neural Language System
■ There are two views about morphology, the aspect of language concerned with the internal structure of words. One view holds that morphology is a domain of knowledge with a spe...
Sami Boudelaa, Friedemann Pulvermüller, Olaf ...
« Prev « First page 1788 / 2234 Last » Next »