Search Sciweavers | Sciweavers

9698 search results - page 18 / 1940

» models 2010

Voted

EOR
2006

45views more EOR 2006»

Rich models in discrete optimization: Formulation and resolution (ECCO XVI)

15 years 4 months ago

Download amsacta.cib.unibo.it

Geir Hasle, Arne Løkketangen, Silvano Marte...

claim paper

Read More »

147

click to vote

DSP
2007

100views Emerging Technology» more DSP 2007»

Model independent pre-processing of X-ray powder diffraction profiles

15 years 4 months ago

$Model independent pre-processing of X-ray powder diffraction profiles$

Download users.ba.cnr.it

M. Ladisa, A. Lamura, Teresa Laudadio, G. Nico

claim paper

Read More »

106

click to vote

DT
2007

98views more DT 2007»

Combining Theorem Proving with Model Checking through Predicate Abstraction

15 years 4 months ago

Download www.cs.utexas.edu

Sandip Ray, Rob Sumners

claim paper

Read More »

108

click to vote

ECOI
2007

62views more ECOI 2007»

Multi-objective optimization of an ecological assembly model

15 years 4 months ago

Download www.geog.umontreal.ca

Pascal Côté, Lael Parrott, Robert Sab...

claim paper

Read More »

click to vote

ENTCS
2007

68views more ENTCS 2007»

Modelling Generic Judgements

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers