Sciweavers

343 search results - page 4 / 69
» Normal Forms in Function Fields
Sort
View
ESOP
1994
Springer
13 years 11 months ago
Compilation of Head and Strong Reduction
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
Pascal Fradet
SKG
2006
IEEE
14 years 1 months ago
Functional Dependency Maintenance and Lossless Join Decomposition in XML Model Decomposition
The paper studies “equality” in XML model decomposition. XML IFD, TFD, AFD and MVD are proposed. According to complexity of these FDs, four XML normal forms are presented. FD ...
Xia Li, Fei-yue Ye, Hong-juan Yuan, Wen-tao Peng
TWC
2011
231views more  TWC 2011»
13 years 2 months ago
An Accurate Closed-Form Approximation of the Distributed MIMO Outage Probability
— The mutual information (MI) of multiple-input multiple-output (MIMO) system over Rayleigh fading channel is known to asymptotically follow a normal probability distribution. In...
Fabien Heliot, Reza Hoshyar, Rahim Tafazolli
ACCV
2010
Springer
13 years 2 months ago
A Convex Image Segmentation: Extending Graph Cuts and Closed-Form Matting
Abstract. Image matting and segmentation are two closely related topics that concern extracting the foreground and background of an image. While the methods based on global optimiz...
Youngjin Park, Suk I. Yoo