Sciweavers

4895 search results - page 259 / 979
» Functional Quantum Programming
Sort
View
SBACPAD
2004
IEEE
106views Hardware» more  SBACPAD 2004»
15 years 7 months ago
High Performance Communication System Based on Generic Programming
This paper presents a high performance communication system based on generic programming. The system adapts itself according to the protocol being used on communication, simplifyi...
André Luís Gobbi Sanches, Fernando R...
NIPS
2003
15 years 7 months ago
Statistical Debugging of Sampled Programs
We present a novel strategy for automatically debugging programs given sampled data from thousands of actual user runs. Our goal is to pinpoint those features that are most correl...
Alice X. Zheng, Michael I. Jordan, Ben Liblit, Ale...
JMLR
2006
87views more  JMLR 2006»
15 years 6 months ago
Second Order Cone Programming Approaches for Handling Missing and Uncertain Data
We propose a novel second order cone programming formulation for designing robust classifiers which can handle uncertainty in observations. Similar formulations are also derived f...
Pannagadatta K. Shivaswamy, Chiranjib Bhattacharyy...
MP
2007
142views more  MP 2007»
15 years 6 months ago
Active-constraint variable ordering for faster feasibility of mixed integer linear programs
The selection of the branching variable can greatly affect the speed of the branch and bound solution of a mixed-integer or integer linear program. Traditional approaches to branc...
Jagat Patel, John W. Chinneck
PR
2007
111views more  PR 2007»
15 years 6 months ago
Design and formal proof of a new optimal image segmentation program with hypermaps
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...
Jean-François Dufourd