Sciweavers

2962 search results - page 412 / 593
» Reasoning on Association Rules
Sort
View
EWCBR
2004
Springer
15 years 12 months ago
Case-Based Relational Learning of Expressive Phrasing in Classical Music
An application of relational case-based learning to the task of expressive music performance is presented. We briefly recapitulate the relational case-based learner DISTALL and em...
Asmir Tobudic, Gerhard Widmer
LOPSTR
2004
Springer
15 years 12 months ago
Proving Termination for Logic Programs by the Query-Mapping Pairs Approach
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Ser...
PPSWR
2004
Springer
15 years 12 months ago
Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
François Bry, Stephanie Spranger
UML
2004
Springer
15 years 12 months ago
Specifying Cross-Cutting Requirement Concerns
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...
Geri Georg, Raghu Reddy, Robert B. France
DATE
2003
IEEE
75views Hardware» more  DATE 2003»
15 years 12 months ago
Circuit and Platform Design Challenges in Technologies beyond 90nm
There are already a huge number of problems for silicon designers and it is likely to just get worse. Many of these problems are technical associated with shrinking geometries and...
Bill Grundmann, Rajesh Galivanche, Sandip Kundu