Sciweavers

18451 search results - page 45 / 3691
» Selecting a Selection Procedure
Sort
View
BIRTHDAY
1991
Springer
15 years 8 months ago
The Markgraf Karl Refutation Procedure
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
Hans Jürgen Ohlbach, Jörg H. Siekmann
AAAI
2008
15 years 6 months ago
POIROT - Integrated Learning of Web Service Procedures
POIROT is an integration framework for combining machine learning mechanisms to learn hierarchical models of web services procedures from a single or very small set of demonstrati...
Mark H. Burstein, Robert Laddaga, David McDonald, ...
BMCBI
2008
112views more  BMCBI 2008»
15 years 4 months ago
Predicting the Interactome of Xanthomonas oryzae pathovar oryzae for target selection and DB service
Background: Protein-protein interactions (PPIs) play key roles in various cellular functions. In addition, some critical inter-species interactions such as host-pathogen interacti...
Jeong-Gu Kim, Daeui Park, Byoung-Chul Kim, Seong-W...
ICC
2009
IEEE
325views Communications» more  ICC 2009»
15 years 11 months ago
Modeling and Analysis for Proactive-Decision Spectrum Handoff in Cognitive Radio Networks
— Spectrum handoff occurs when the primary users appear in the licensed band occupied by the secondary users. Spectrum handoff procedures aim to help the secondary users to vacat...
Chung-Wang Wang, Li-Chung Wang
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 9 months ago
HORUS - high-dimensional Model Order Reduction via low moment-matching upgraded sampling
— This paper describes a Model Order Reduction algorithm for multi-dimensional parameterized systems, based on a sampling procedure which incorporates a low order moment matching...
Jorge Fernandez Villena, Luis Miguel Silveira