Sciweavers

1816 search results - page 296 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
WWW
2005
ACM
16 years 15 days ago
Multi-step media adaptation: implementation of a knowledge-based engine
Continuing changes in the domains of consumer devices and multimedia formats demand for a new approach to media adaptation. The publication of customized content on a device requi...
Peter Soetens, Matthias De Geyter
JUCS
2006
108views more  JUCS 2006»
14 years 11 months ago
Defining Atomic Composition in UML Behavioral Diagrams
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
Júlio Henrique Araújo Pereira Machad...
WWW
2006
ACM
16 years 15 days ago
Determining user interests about museum collections
Currently, there is an increasing effort to provide various personalized services on museum web sites. This paper presents an approach for determining user interests in a museum c...
Lloyd Rutledge, Lora Aroyo, Natalia Stash
AI
2004
Springer
14 years 11 months ago
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
Ken Kaneiwa
INCDM
2010
Springer
204views Data Mining» more  INCDM 2010»
15 years 3 months ago
Combining Business Process and Data Discovery Techniques for Analyzing and Improving Integrated Care Pathways
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
Jonas Poelmans, Guido Dedene, Gerda Verheyden, Her...