Sciweavers

442 search results - page 39 / 89
» Combining test case generation for component and integration...
Sort
View
ICSE
2001
IEEE-ACM
15 years 2 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
88
Voted
ACL
2010
14 years 7 months ago
Boosting-Based System Combination for Machine Translation
In this paper, we present a simple and effective method to address the issue of how to generate diversified translation systems from a single Statistical Machine Translation (SMT)...
Tong Xiao, Jingbo Zhu, Muhua Zhu, Huizhen Wang
MSE
2003
IEEE
104views Hardware» more  MSE 2003»
15 years 3 months ago
Internet-based Tool for System-on-Chip Integration
A tool has been created for use in a design course to automate integration of new components into a SystemOn-Chip (SoC). Students used this tool to implement a complete SoC Intern...
David Lim, Christopher E. Neely, Christopher K. Zu...
CORR
2007
Springer
167views Education» more  CORR 2007»
14 years 9 months ago
Optimal Solutions for Sparse Principal Component Analysis
Given a sample covariance matrix, we examine the problem of maximizing the variance explained by a linear combination of the input variables while constraining the number of nonze...
Alexandre d'Aspremont, Francis R. Bach, Laurent El...
ICCV
2005
IEEE
15 years 11 months ago
Integrated Spatial and Frequency Domain 2D Motion Segmentation and Estimation
A video containing multiple objects in rotational and translational motion is analyzed through a combination of spatial and frequency domain representations. It is argued that the...
Alexia Briassouli, Narendra Ahuja