Search Sciweavers | Sciweavers

6456 search results - page 38 / 1292

» Constraint Solving on Terms

click to vote

KI
2002
Springer

93views Artificial Intelligence» more KI 2002»

Spatial Inference - Learning vs. Constraint Solving

15 years 12 days ago

Download user.cs.tu-berlin.de

Carsten Gips, Petra Hofstedt, Fritz Wysotzki

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers