Sciweavers

383 search results - page 31 / 77
» OLAP Dimension Constraints
Sort
View
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
15 years 5 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
ICCV
2011
IEEE
13 years 12 months ago
Generalized Ordering Constraints for Multilabel Optimization
We propose a novel framework for imposing label ordering constraints in multilabel optimization. In particular, label jumps can be penalized differently depending on the jump dire...
Evgeny Strekalovskiy, Daniel Cremers
UM
2010
Springer
15 years 4 months ago
Detecting Gaming the System in Constraint-Based Tutors
Recently, detectors of gaming the system have been developed for several intelligent tutoring systems where the problem-solving process is reified, and gaming consists of systemati...
Ryan S. J. d. Baker, Antonija Mitrovic, Moffat Mat...
CPAIOR
2010
Springer
15 years 4 months ago
Constraint Reasoning with Uncertain Data Using CDF-Intervals
Interval coefficients have been introduced in OR and CP to specify uncertain data in order to provide reliable solutions to convex models. The output is generally a solution set, ...
Aya Saad, Carmen Gervet, Slim Abdennadher
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 29 days ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...