Sciweavers

7924 search results - page 297 / 1585
» Non-Malleable Functions and Their Applications
Sort
View
237
Voted
JFP
2010
142views more  JFP 2010»
15 years 5 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
MICCAI
2010
Springer
15 years 5 months ago
Model-Based Multi-view Fusion of Cinematic Flow and Optical Imaging
Bioluminescence imaging (BLI) offers the possibility to study and image biology at molecular scale in small animals with applications in oncology or gene expression studies. Here ...
Mickael Savinaud, Martin de La Gorce, Serge Maitre...
MP
2010
172views more  MP 2010»
15 years 5 months ago
Approximation algorithms for homogeneous polynomial optimization with quadratic constraints
In this paper, we consider approximation algorithms for optimizing a generic multi-variate homogeneous polynomial function, subject to homogeneous quadratic constraints. Such opti...
Simai He, Zhening Li, Shuzhong Zhang
256
Voted
TIP
2010
146views more  TIP 2010»
15 years 5 months ago
Effective Level Set Image Segmentation With a Kernel Induced Data Term
Abstract—This study investigates level set multiphase image segmentation by kernel mapping and piecewise constant modeling of the image data thereof. A kernel function maps impli...
Mohamed Ben Salah, Amar Mitiche, Ismail Ben Ayed
234
Voted
ICIP
2010
IEEE
15 years 5 months ago
Image partitioning with kernel mapping and graph cuts
A novel multiregion graph cut image partitioning method combined with kernel mapping is presented. A kernel function transforms implicitly the image data into data of a higher dim...
Mohamed Ben Salah, Amar Mitiche, Ismail Ben Ayed