Sciweavers

4166 search results - page 313 / 834
» Automating the constraining process
Sort
View
LOPSTR
2007
Springer
15 years 10 months ago
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of function...
Sebastian Fischer, Josep Silva, Salvador Tamarit, ...
EWCBR
2004
Springer
15 years 10 months ago
TempoExpress, a CBR Approach to Musical Tempo Transformations
Abstract. In this paper, we describe a CBR system for applying musically acceptable tempo transformations to monophonic audio recordings of musical performances. Within the tempo t...
Maarten Grachten, Josep Lluís Arcos, Ramon ...
NMR
2004
Springer
15 years 10 months ago
On the bipolarity in argumentation frameworks
In this paper, we propose a survey of the use of bipolarity in argumentation frameworks, i.e. the presence of two kinds of entities (a positive entity and a negative entity). An a...
Leila Amgoud, Claudette Cayrol, Marie-Christine La...
COMPSAC
2009
IEEE
15 years 9 months ago
Middleware for RFID Systems: An Overview
RFID-Based Systems have started to play a significant role in the automation of many business processes such as ERP systems and object tracking. Several efforts were made within t...
Jameela Al-Jaroodi, Junaid Aziz, Nader Mohamed
TSD
2000
Springer
15 years 8 months ago
Automatic Functor Assignment in the Prague Dependency Treebank
The aim of this paper is to describe and evaluate a system that automates a part of the transition from analytical to tectogrammatical tree structures within the Prague Dependency...
Zdenek Zabokrtský