Search Sciweavers | Sciweavers

2725 search results - page 38 / 545

» Constraint Solving for Interpolation

click to vote

PTS
2010

147views Hardware» more PTS 2010»

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution

14 years 11 months ago

Download research.microsoft.com

Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...

Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...

claim paper

Read More »

click to vote

CORR
2010
Springer

53views Education» more CORR 2010»

Distributed Work Stealing for Constraint Solving

14 years 10 months ago

Download inforum.org.pt

Vasco Pedro, Salvador Abreu

claim paper

Read More »

102

click to vote

ICTAI
2010
IEEE

233views Artificial Intelligence» more ICTAI 2010»

Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving

14 years 10 months ago

Download www.sci.brooklyn.cuny.edu

The abstract goes here.

Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato

claim paper

Read More »

Voted

IJIPM
2010

56views more IJIPM 2010»

Trustworthy Dynamic Scheduling based on Constraint Solving Scheme

14 years 10 months ago

Download www.humanpub.org

Juyang Zhang, Yixiang Chen

claim paper

Read More »

120

Voted

DAGSTUHL
1997

115views Software Engineering» more DAGSTUHL 1997»

Scattered Data Techniques for Surfaces

15 years 2 months ago

Download www.soe.ucsc.edu

This survey presents several techniques for solving variants of the following scattered data interpolation problem: given a nite set of N points in R3, nd a surface that interpola...

Suresh K. Lodha, Richard Franke

claim paper

Read More »

« Prev « First page 38 / 545 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers