SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Flener Pierre) "

Sökning: WFRF:(Flener Pierre)

  • Resultat 1-10 av 145
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  • Amadini, Roberto, et al. (författare)
  • MiniZinc with strings
  • 2017
  • Ingår i: Logic-Based Program Synthesis and Transformation. - Cham : Springer. - 9783319631387 - 9783319631394 ; , s. 59-75
  • Konferensbidrag (refereegranskat)abstract
    • Strings are extensively used in modern programming languages and constraints over strings of unknown length occur in a wide range of real-world applications such as software analysis and verification, testing, model checking, and web security. Nevertheless, practically no constraint programming solver natively supports string constraints. We introduce string variables and a suitable set of string constraints as builtin features of the MiniZinc modelling language. Furthermore, we define an interpreter for converting a MiniZinc model with strings into a FlatZinc instance relying only on integer variables. This conversion is obtained via rewrite rules, and does not require any extension of the existing FlatZinc specification. This provides a user-friendly interface for modelling combinatorial problems with strings, and enables both string and non-string solvers to actually solve such problems.
  •  
3.
  •  
4.
  • Arafailova, Ekaterina, et al. (författare)
  • Global Constraint Catalog Volume II: Time-Series Constraints
  • 2016
  • Annan publikation (övrigt vetenskapligt/konstnärligt)abstract
    • First this report presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered function composition scheme. Second it provides the corresponding synthesised catalogue of structural time-series constraints where each constraint is explicitly described in terms of automata with accumulators.
  •  
5.
  • Arafailova, Ekaterina, et al. (författare)
  • Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints
  • 2016
  • Ingår i: Principles and Practice of Constraint Programming. - Cham : Springer Publishing Company. - 9783319449524 - 9783319449531 ; , s. 13-29
  • Konferensbidrag (refereegranskat)abstract
    • Integer time series are often subject to constraints on the aggregation of the integer features of all occurrences of some pattern within the series. For example, the number of inflexions may be constrained, or the sum of the peak maxima, or the minimum of the peak widths. It is currently unknown how to maintain domain consistency efficiently on such constraints. We propose parametric ways of systematically deriving glue constraints, which are a particular kind of implied constraints, as well as aggregation bounds that can be added to the decomposition of time-series constraints [5]. We evaluate the beneficial propagation impact of the derived implied constraints and bounds, both alone and together.
  •  
6.
  •  
7.
  •  
8.
  • Beldiceanu, Nicolas, et al. (författare)
  • A Modelling Pearl with Sortedness Constraints
  • 2015. - 9
  • Ingår i: GCAI 2015. Global Conference on Artificial Intelligence. - : EasyChair. ; , s. 27-41
  • Konferensbidrag (refereegranskat)abstract
    • Some constraint programming solvers and constraint modelling languages feature the Sort(L,P,S) constraint, which holds if S is a nondecreasing rearrangement of the list L, the permutation being made explicit by the optional list P. However, such sortedness constraints do not seem to be used much in practice. We argue that reasons for this neglect are that it is impossible to require the underlying sort to be stable, so that Sort cannot be guaranteed to be a total-function constraint, and that L cannot contain tuples of variables, some of which form the key for the sort. To overcome these limitations, we introduce the StableKeysort constraint, decompose it using existing constraints, and propose a propagator. This new constraint enables a powerful modelling idiom, which we illustrate by elegant and scalable models of two problems that are otherwise hard to encode as constraint programs.
  •  
9.
  • Beldiceanu, Nicolas, et al. (författare)
  • A modelling pearl with sortedness constraints
  • 2015
  • Ingår i: Global Conference on Artificial Intelligence. - Manchester, UK : Cool Press. ; , s. 27-41
  • Konferensbidrag (refereegranskat)
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 145
Typ av publikation
konferensbidrag (69)
tidskriftsartikel (27)
rapport (19)
proceedings (redaktörskap) (8)
doktorsavhandling (8)
bokkapitel (6)
visa fler...
annan publikation (3)
forskningsöversikt (2)
licentiatavhandling (2)
samlingsverk (redaktörskap) (1)
visa färre...
Typ av innehåll
refereegranskat (102)
övrigt vetenskapligt/konstnärligt (43)
Författare/redaktör
Flener, Pierre (130)
Pearson, Justin (95)
Ågren, Magnus (25)
Beldiceanu, Nicolas (21)
Carlsson, Mats (16)
Hnich, Brahim (9)
visa fler...
Francisco Rodríguez, ... (9)
Monette, Jean-Noël (9)
Lorca, Xavier (8)
Flener, Pierre, Prof ... (8)
Van Hentenryck, Pasc ... (7)
Kiziltan, Zeynep (7)
Simonis, Helmut (6)
Sellmann, Meinolf (6)
Walsh, Toby (5)
Hassani Bijarbooneh, ... (5)
Richardson, Julian (5)
Miguel, Ian (5)
Flener, Pierre, Prof ... (5)
Scott, Joseph D. (4)
Stuckey, Peter J. (4)
Arafailova, Ekaterin ... (4)
Björdal, Gustav, 199 ... (4)
Pearson, Justin, Doc ... (4)
He, Jun (4)
Schmid, Ute (4)
Yuan, Di (3)
Tack, Guido (3)
Douence, Rémi (3)
Lau, Kung-Kiu (3)
Björdal, Gustav (3)
Ngai, Edith (3)
Frisch, Alan M. (3)
Mancini, Toni (3)
Sundequist Blomdahl, ... (3)
Erdem, Esra (2)
Petit, Thierry (2)
Prud'homme, Charles (2)
Schulte, Christian, ... (2)
Sivertsson, Olof (2)
Garcia Avello, Carlo ... (2)
Çeliktin, Mete (2)
Dissing, Søren (2)
Ornaghi, Mario (2)
Reyna, Luis G. (2)
Frisch, Alan (2)
Forghani, Kamran (2)
He, Jun, 1983- (2)
Le Charlier, Baudoui ... (2)
Alexander, Perry (2)
visa färre...
Lärosäte
Uppsala universitet (134)
RISE (26)
Kungliga Tekniska Högskolan (4)
Luleå tekniska universitet (2)
Örebro universitet (1)
Språk
Engelska (144)
Franska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (113)
Teknik (4)
Lantbruksvetenskap (2)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy