Sciweavers

2173 search results - page 381 / 435
» An operational semantics for skeletons
Sort
View
APIN
2008
102views more  APIN 2008»
13 years 8 months ago
Approximation-based feature selection and application for algae population estimation
This paper presents a data-driven approach for feature selection to address the common problem of dealing with high-dimensional data. This approach is able to handle the real-valu...
Qiang Shen, Richard Jensen
CORR
2008
Springer
120views Education» more  CORR 2008»
13 years 8 months ago
XQuery Join Graph Isolation
A purely relational account of the true XQuery semantics can turn any relational database system into an XQuery processor. Compiling nested expressions of the fully compositional X...
Torsten Grust, Manuel Mayr, Jan Rittinger
ENTCS
2010
107views more  ENTCS 2010»
13 years 8 months ago
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott,...
ESWA
2008
152views more  ESWA 2008»
13 years 8 months ago
Collaborative recommender systems: Combining effectiveness and efficiency
Recommender systems base their operation on past user ratings over a collection of items, for instance, books, CDs, etc. Collaborative filtering (CF) is a successful recommendatio...
Panagiotis Symeonidis, Alexandros Nanopoulos, Apos...
FAC
2008
114views more  FAC 2008»
13 years 8 months ago
Specification of communicating processes: temporal logic versus refusals-based refinement
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
Gavin Lowe