Search Sciweavers | Sciweavers

16430 search results - page 85 / 3286

» On Computable Tree Functions

117

click to vote

ENTCS
2007

104views more ENTCS 2007»

Exogenous Probabilistic Computation Tree Logic

15 years 3 months ago

Download wslc.math.ist.utl.pt

We deﬁne a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...

Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan,...

claim paper

Read More »

click to vote

IPL
2010

44views more IPL 2010»

A polylogarithmic approximation for computing non-metric terminal Steiner trees

15 years 1 months ago

Download www.cs.tau.ac.il

Iftah Gamzu, Danny Segev

claim paper

Read More »

108

click to vote

ICISC
2009

140views Cryptology» more ICISC 2009»

Serial Model for Attack Tree Computations

15 years 1 months ago

Download research.cyber.ee

Aivo Jürgenson, Jan Willemson

claim paper

Read More »

click to vote

IMCSIT
2010

95views Information Technology» more IMCSIT 2010»

Computing trees of named word usages from a crowdsourced lexical network

14 years 10 months ago

Download proceedings2010.imcsit.org

Mathieu Lafourcade, Alain Joubert

claim paper

Read More »

112

click to vote

JFP
2006

67views more JFP 2006»

Finger trees: a simple general-purpose data structure

15 years 3 months ago

Download www.soi.city.ac.uk

We introduce 2-3 finger trees, a functional representation of persistent sequences supporting access to the ends in amortized constant time, and concatenation and splitting in tim...

Ralf Hinze, Ross Paterson

claim paper

Read More »

« Prev « First page 85 / 3286 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers