Sciweavers

7961 search results - page 278 / 1593
» Input-Output Model Programs
Sort
View
GIS
2011
ACM
14 years 7 months ago
Embedding rivers in triangulated irregular networks with linear programming
Data conflation is a major issue in GIS: different geospatial data sets covering overlapping regions, possibly obtained from different sources and using different acquisition ...
Marc J. van Kreveld, Rodrigo I. Silveira
CASES
2009
ACM
15 years 11 months ago
Tight WCRT analysis of synchronous C programs
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
Partha S. Roop, Sidharta Andalam, Reinhard von Han...
ICIP
2005
IEEE
16 years 6 months ago
Dynamic programming algorithm for rate-distortion optimized media streaming
We propose a dynamic programming algorithm for finding optimal transmission policies for a single packet in ratedistortion optimized media streaming. The algorithm relies on an op...
Jean Cardinal, Martin Röder, Raouf Hamzaoui
ICML
2003
IEEE
16 years 5 months ago
Multi-Objective Programming in SVMs
We propose a general framework for support vector machines (SVM) based on the principle of multi-objective optimization. The learning of SVMs is formulated as a multiobjective pro...
Jinbo Bi
TGC
2007
Springer
15 years 10 months ago
Elimination of Ghost Variables in Program Logics
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
Martin Hofmann, Mariela Pavlova