Search Sciweavers | Sciweavers

2845 search results - page 26 / 569

» Constraints over Ontologies

123

click to vote

VMCAI
2009
Springer

114views Software Engineering» more VMCAI 2009»

Constraint-Based Invariant Inference over Predicate Abstraction

16 years 8 days ago

Download research.microsoft.com

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...

claim paper

Read More »

118

click to vote

CAV
2007
Springer

93views Hardware» more CAV 2007»

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

15 years 11 months ago

Download www.inf.ethz.ch

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

claim paper

Read More »

140

click to vote

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

15 years 11 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

claim paper

Read More »

121

click to vote

FOSSACS
2004
Springer

84views Software Engineering» more FOSSACS 2004»

LTL over Integer Periodicity Constraints: (Extended Abstract)

15 years 11 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri

claim paper

Read More »

100

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers