Search Sciweavers | Sciweavers

2845 search results - page 26 / 569

» Constraints over Ontologies

click to vote

VMCAI
2009
Springer

114views Software Engineering» more VMCAI 2009»

Constraint-Based Invariant Inference over Predicate Abstraction

14 years 3 months ago

Download research.microsoft.com

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...

claim paper

Read More »

click to vote

CAV
2007
Springer

93views Hardware» more CAV 2007»

LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals

14 years 3 months ago

Download www.inf.ethz.ch

Bernd Becker, Christian Dax, Jochen Eisinger, Feli...

claim paper

Read More »

click to vote

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

14 years 2 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

claim paper

Read More »

click to vote

FOSSACS
2004
Springer

84views Software Engineering» more FOSSACS 2004»

LTL over Integer Periodicity Constraints: (Extended Abstract)

14 years 2 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri

claim paper

Read More »

click to vote

INFOCOM
2003
IEEE

120views Communications» more INFOCOM 2003»

MPLS over WDM Network Design with Packet Level QoS Constraints based on ILP Models

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers