Search Sciweavers | Sciweavers

16430 search results - page 261 / 3286

» On Computable Tree Functions

130

click to vote

ENTCS
2008

126views more ENTCS 2008»

Comonadic Notions of Computation

15 years 4 months ago

Download www.cs.ioc.ee

We argue that symmetric (semi)monoidal comonads provide a means to structure context-dependent notions of computation such as notions of dataflow computation (computation on strea...

Tarmo Uustalu, Varmo Vene

claim paper

Read More »

136

click to vote

SGAI
2007
Springer

123views Artificial Intelligence» more SGAI 2007»

Towards a Computationally Efficient Approach to Modular Classification Rule Induction

15 years 10 months ago

Download www.maxbramer.org.uk

Induction of classification rules is one of the most important technologies in data mining. Most of the work in this field has concentrated on the Top Down Induction of Decision T...

Frederic T. Stahl, Max Bramer

claim paper

Read More »

170

click to vote

BMCBI
2006

182views more BMCBI 2006»

AceTree: a tool for visual analysis of Caenorhabditis elegans embryogenesis

15 years 4 months ago

Download www.biomedcentral.com

Background: The invariant lineage of the nematode Caenorhabditis elegans has potential as a powerful tool for the description of mutant phenotypes and gene expression patterns. We...

Thomas J. Boyle, Zhirong Bao, John I. Murray, Carl...

claim paper

Read More »

click to vote

ICS
2010
Tsinghua U.

123views Distributed And Parallel Com...» more ICS 2010»

Hard Instances for Satisfiability and Quasi-one-way Functions

16 years 1 months ago