Sciweavers

5634 search results - page 790 / 1127
» About Abstract Classes
Sort
View
IJBRA
2008
88views more  IJBRA 2008»
15 years 6 months ago
GOSAP: Gene Ontology-Based Semantic Alignment of Biological Pathways
A large number of biological pathways have been assembled in later years, and are being stored in databases. Hence, the need for methods to analyse these pathways has emerged. One ...
Jonas Gamalielsson, Björn Olsson
CC
2007
Springer
158views System Software» more  CC 2007»
15 years 6 months ago
The Complexity of Membership Problems for Circuits Over Sets of Natural Numbers
Abstract. The problem of testing membership in the subset of the natural numbers produced at the output gate of a {∪, ∩,− , +, ×} combinational circuit is shown to capture a...
Pierre McKenzie, Klaus W. Wagner
INFORMATICALT
2008
196views more  INFORMATICALT 2008»
15 years 6 months ago
An Efficient and Sensitive Decision Tree Approach to Mining Concept-Drifting Data Streams
Abstract. Data stream mining has become a novel research topic of growing interest in knowledge discovery. Most proposed algorithms for data stream mining assume that each data blo...
Cheng-Jung Tsai, Chien-I Lee, Wei-Pang Yang
JANCL
2008
170views more  JANCL 2008»
15 years 6 months ago
Algorithmic correspondence and completeness in modal logic
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...
Willem Conradie, Valentin Goranko
JAPLL
2008
98views more  JAPLL 2008»
15 years 6 months ago
A formal account of Socratic-style argumentation
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...
Martin Caminada