Sciweavers

6274 search results - page 264 / 1255
» Proofs, Programs, Processes
Sort
View
SIGUCCS
2000
ACM
15 years 11 months ago
Ripped Apart at the Seams: Re-Tailoring the Computer Training Program at Brown University
In this paper, we describe the process we went through to redesign our training program in order to make it more targeted to the individual user, more responsive to a constantly c...
Eileen Palenchar, Stephanie Birdsall
DATE
1999
IEEE
138views Hardware» more  DATE 1999»
15 years 11 months ago
Codex-dp: Co-design of Communicating Systems Using Dynamic Programming
We present a novel algorithm based on dynamic programming with binning to find, subject to a given deadline, the minimum-cost coarse-grain hardware/software partitioning and mappin...
Jui-Ming Chang, Massoud Pedram
EPIA
1997
Springer
15 years 10 months ago
Vivid Agents Arguing about Distributed Extended Logic Programs
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...
Michael Schroeder, Iara de Almeida Móra, Jo...
DAGM
2008
Springer
15 years 8 months ago
Efficient Tracking as Linear Program on Weak Binary Classifiers
This paper demonstrates how a simple, yet effective, set of features enables to integrate ensemble classifiers in optical flow based tracking. In particular, gray value differences...
Michael Grabner, Christopher Zach, Horst Bischof
EACL
2003
ACL Anthology
15 years 8 months ago
Linear Text Segmentation using a Dynamic Programming Algorithm
In this paper we introduce a dynamic programming algorithm to perform linear text segmentation by global minimization of a segmentation cost function which consists of: (a) within...
Athanasios Kehagias, Pavlina Fragkou, Vassilios Pe...