Sciweavers

3591 search results - page 70 / 719
» Typing linear constraints
Sort
View
82
Voted
FUIN
2008
100views more  FUIN 2008»
14 years 10 months ago
Alias Types and Effects for "Environment-aware" Computations
We adapt the alias type technology to deal with primitives supporting environmentawareness (that is, the ability to adapt the behavior of according to the capabilities of the envi...
Ferruccio Damiani, Elena Giachino, Paola Giannini
ISTA
2003
14 years 11 months ago
EPC Modelling based on Implicit Arc Types
Abstract: Event Driven Process Chains (EPC) are commonly used for the modelling of business processes. As modelling is decentralised to personnel not familiar with the formal aspec...
Jan Mendling, Markus Nüttgens
OL
2011
217views Neural Networks» more  OL 2011»
14 years 4 months ago
Privacy-preserving linear programming
Abstract. We propose a privacy-preserving formulation of a linear program whose constraint matrix is partitioned into groups of columns where each group of columns and its correspo...
O. L. Mangasarian
IPPS
2006
IEEE
15 years 3 months ago
Analysis of a reconfigurable network processor
In this paper an analysis of a dynamically reconfigurable processor is presented. The network processor incorporates a processor and a number of coprocessors that can be connected...
Christopher Kachris, Stamatis Vassiliadis
IJCV
2006
110views more  IJCV 2006»
14 years 9 months ago
Multi-body Factorization with Uncertainty: Revisiting Motion Consistency
Dynamic analysis of video sequences often relies on the segmentation of the sequence into regions of consistent motions. Approaching this problem requires a definition of which mo...
Lihi Zelnik-Manor, Moshe Machline, Michal Irani