Search Sciweavers | Sciweavers

1399 search results - page 33 / 280

» Multi-party Finite Computations

click to vote

VIS
2007
IEEE

108views Visualization» more VIS 2007»

Efficient Visualization of Lagrangian Coherent Structures by Filtered AMR Ridge Extraction

14 years 11 months ago

Download graphics.ethz.ch

This paper presents a method for filtered ridge extraction based on adaptive mesh refinement. It is applicable in situations where the underlying scalar field can be refined during...

Filip Sadlo, Ronald Peikert

claim paper

Read More »

click to vote

LICS
2008
IEEE

103views Automated Reasoning» more LICS 2008»

On the Expressiveness and Complexity of Randomization in Finite State Monitors

14 years 4 months ago

Download www.cs.uiuc.edu

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

claim paper

Read More »

click to vote

LICS
2007
IEEE

97views Automated Reasoning» more LICS 2007»

Reflections on Finite Model Theory

14 years 4 months ago

Download users.soe.ucsc.edu

Phokion G. Kolaitis

claim paper

Read More »

click to vote

CIE
2005
Springer

98views Applied Computing» more CIE 2005»

Finite Trees as Ordinals

14 years 3 months ago

Download heim.ifi.uio.no

Herman Ruge Jervell

claim paper

Read More »

click to vote

ICNC
2005
Springer

90views Applied Computing» more ICNC 2005»

Learning Beyond Finite Memory in Recurrent Networks of Spiking Neurons

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers