Search Sciweavers | Sciweavers

7827 search results - page 8 / 1566

» time 2007

118

Voted

MSOM
2007

53views more MSOM 2007»

Note - Computing Time-Dependent Waiting Time Probabilities in M(t)/M/s(t) Queuing Systems

15 years 4 months ago

Download www.mat.uc.pt

Linda V. Green, João Soares

claim paper

Read More »

102

Voted

NECO
2007

61views more NECO 2007»

Exact Subthreshold Integration with Continuous Spike Times in Discrete-Time Neural Network Simulations

15 years 4 months ago

Download material.bccn.uni-freiburg.de

Abigail Morrison, Sirko Straube, Hans Ekkehard Ple...

claim paper

Read More »

121

click to vote

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

Model Checking Branching Time Logics

15 years 11 months ago

Download www.lsv.ens-cachan.fr

Ph. Schnoebelen

claim paper

Read More »

136

click to vote

TIME
2007
IEEE

151views Automated Reasoning» more TIME 2007»

Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics

15 years 11 months ago

Download www.ing.unibs.it

Alfonso Gerevini

claim paper

Read More »

Voted

APBC
2007

95views Bioinformatics» more APBC 2007»

All Hits All The Time: Parameter Free Calculation of Seed Sensitivity

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers