Sciweavers

3009 search results - page 85 / 602
» The Expressive Rate of Constraints
Sort
View
CORR
2007
Springer
68views Education» more  CORR 2007»
13 years 10 months ago
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
MICAI
2004
Springer
14 years 3 months ago
Evaluation-Based Semiring Meta-constraints
Abstract. Classical constraint satisfaction problems (CSPs) provide an expressive formalism for describing and solving many real-world problems. However, classical CSPs prove to be...
Jerome Kelleher, Barry O'Sullivan
ICDAR
2011
IEEE
12 years 9 months ago
CROHME2011: Competition on Recognition of Online Handwritten Mathematical Expressions
— A competition on recognition of online handwritten mathematical expressions is organized. Recognition of mathematical expressions has been an attractive problem for the pattern...
Harold Mouchère, Christian Viard-Gaudin, Da...
TASLP
2008
158views more  TASLP 2008»
13 years 10 months ago
Score-Independent Audio Features for Description of Music Expression
Abstract--During a music performance, the musician adds expressiveness to the musical message by changing timing, dynamics, and timbre of the musical events to communicate an expre...
Luca Mion, Giovanni De Poli
SIAMCOMP
2008
100views more  SIAMCOMP 2008»
13 years 10 months ago
On the Complexity of Verifying Consistency of XML Specifications
XML specifications often consist of a type definition (typically, a DTD) and a set of integrity constraints. It has been shown previously that such specifications can be inconsiste...
Marcelo Arenas, Wenfei Fan, Leonid Libkin