Sciweavers

5377 search results - page 757 / 1076
» Programming Languages For Interactive Computing
Sort
View
ICALP
2003
Springer
15 years 9 months ago
Real-Time Scheduling with a Budget
We are given a set of jobs each has a processing time, a non-negative weight, a set of possible time intervals in which it can be processed and a cost. The goal is to schedule a f...
Joseph Naor, Hadas Shachnai, Tami Tamir
IFIP
2003
Springer
15 years 9 months ago
Soft Output Bit Error Rate Estimation for WCDMA
This paper introduces a method that computes an estimation of the bit error rate (BER) based on the RAKE receiver soft output only. For this method no knowledge is needed about the...
Lodewijk T. Smit, Gerard J. M. Smit, Johann Hurink...
JFPLC
2001
15 years 5 months ago
Recherche adaptative et contraintes musicales
We propose an environment for musical constraint solving, in the visual programming language OpenMusic. We describe an implementation of a local search algorithm, called adaptive s...
Charlotte Truchet, Carlos Agon, Gérard Assa...
ACL
1998
15 years 5 months ago
A Procedure for Multi-Class Discrimination and some Linguistic Applications
The paper describes a novel computational tool for multiple concept learning. Unlike previous approaches, whose major goal is prediction on unseen instances rather than the legibi...
Vladimir Pericliev, Raúl E. Valdés-P...
MSCS
2000
126views more  MSCS 2000»
15 years 4 months ago
Sequent combinators: a Hilbert system for the lambda calculus
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
Healfdene Goguen, Jean Goubault-Larrecq