Search Sciweavers | Sciweavers

10890 search results - page 78 / 2178

» Automatic Complexity Analysis

click to vote

CORR
2006
Springer

57views Education» more CORR 2006»

On Verifying Complex Properties using Symbolic Shape Analysis

13 years 7 months ago

Download www.mit.edu

Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Pod...

claim paper

Read More »

click to vote

IJFCS
2008

166views more IJFCS 2008»

Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems

13 years 7 months ago

Download cc.ee.ntu.edu.tw

The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...

Hsu-Chun Yen

claim paper

Read More »

click to vote

JC
2006

35views more JC 2006»

Computability and complexity in analysis

13 years 7 months ago

Download www.dagstuhl.de

Vasco Brattka, Peter Hertling, Ker-I Ko, Hideki Ts...

claim paper

Read More »

click to vote

ENVSOFT
2007

61views more ENVSOFT 2007»

Ecosystems as evolutionary complex systems: Network analysis of fitness models

13 years 7 months ago

Download www.sklse.org

Brian D. Fath, W. E. Grant

claim paper

Read More »

click to vote

BC
2005

68views more BC 2005»

Principal component analysis of complex multijoint coordinative movements

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers