Sciweavers

790 search results - page 130 / 158
» Subexponential Parameterized Algorithms
Sort
View
ISBI
2008
IEEE
16 years 3 months ago
Deformation-based nonlinear dimension reduction: Applications to nuclear morphometry
We describe a new approach for elucidating the nonlinear degrees of freedom in a distribution of shapes depicted in digital images. By combining a deformation-based method for mea...
Gustavo K. Rohde, Wei Wang, Tao Peng, Robert F. Mu...
VLSID
2004
IEEE
292views VLSI» more  VLSID 2004»
16 years 2 months ago
NoCGEN: A Template Based Reuse Methodology for Networks on Chip Architecture
In this paper, we describe NoCGEN, a Network On Chip (NoC) generator, which is used to create a simulatable and synthesizable NoC description. NoCGEN uses a set of modularised rou...
Jeremy Chan, Sri Parameswaran
205
Voted
SIGMOD
2006
ACM
153views Database» more  SIGMOD 2006»
16 years 2 months ago
Interactive query formulation over web service-accessed sources
Integration systems typically support only a restricted set of queries over the schema they export. The reason is that the participating information sources contribute limited con...
Michalis Petropoulos, Alin Deutsch, Yannis Papakon...
SIGMOD
2003
ACM
150views Database» more  SIGMOD 2003»
16 years 2 months ago
Capturing both Types and Constraints in Data Integration
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...
Michael Benedikt, Chee Yong Chan, Wenfei Fan, Juli...
117
Voted
ESOP
2010
Springer
15 years 12 months ago
Faulty Logic: Reasoning about Fault Tolerant Programs
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
Matthew L. Meola and David Walker