Sciweavers

5592 search results - page 404 / 1119
» On Random Betweenness Constraints
Sort
View
FORMATS
2005
Springer
16 years 8 days ago
Reachability Problems on Extended O-Minimal Hybrid Automata
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...
Raffaella Gentilini
EKAW
2004
Springer
16 years 4 days ago
Extending Semantic-Based Matchmaking via Concept Abduction and Contraction
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
PATAT
2004
Springer
135views Education» more  PATAT 2004»
16 years 3 days ago
A Column Generation Scheme for Faculty Timetabling
In this paper we deal with the problem of building a timetable for the courses of a university faculty. We propose an integer linear programming approach based on column generation...
Andrea Qualizza, Paolo Serafini
ECBS
2003
IEEE
115views Hardware» more  ECBS 2003»
16 years 1 days ago
Details of Formalized Relations in Feature Models Using OCL
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
Detlef Streitferdt, Matthias Riebisch, Ilka Philip...
SAINT
2003
IEEE
16 years 10 hour ago
Adapted Content Delivery for Different Contexts
In this paper, we present a framework which allows adapted content delivery for different target contexts. This framework is based on a Universal Profiling Schema UPS for describi...
Tayeb Lemlouma, Nabil Layaïda