Sciweavers

3591 search results - page 70 / 719
» Typing linear constraints
Sort
View
104
Voted
FUIN
2008
100views more  FUIN 2008»
15 years 22 days 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
103
Voted
ISTA
2003
15 years 2 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
151
Voted
OL
2011
217views Neural Networks» more  OL 2011»
14 years 7 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 6 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
86
Voted
IJCV
2006
110views more  IJCV 2006»
15 years 20 days 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