Sciweavers

2253 search results - page 31 / 451
» Computing with Realizational Morphology
Sort
View
COLING
2010
14 years 11 months ago
Designing Agreement Features for Realization Ranking
This paper shows that incorporating linguistically motivated features to ensure correct animacy and number agreement in an averaged perceptron ranking model for CCG realization he...
Rajakrishnan Rajkumar, Michael White
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
15 years 8 months ago
Semidefinite programming methods for system realization and identification
We describe semidefinite programming methods for system realization and identification. For each of these two applications, a variant of a simple subspace algorithm is presented, i...
Zhang Liu, Lieven Vandenberghe
ENTCS
2006
109views more  ENTCS 2006»
15 years 4 months ago
Specifications via Realizability
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
Andrej Bauer, Christopher A. Stone
CVPR
2010
IEEE
15 years 11 months ago
Heterogeneous Conditional Random Field: Realizing Joint Detection and Segmentation of Cell Regions in Microscopic Images
Detecting and segmenting cell regions in microscopic images is a challenging task, because cells typically do not have rich features, and their shapes and appearances are highly i...
Jiyan Pan, Takeo Kanade
IPPS
2006
IEEE
15 years 10 months ago
Platform-based FPGA architecture: designing high-performance and low-power routing structure for realizing DSP applications
The novel design of an efficient FPGA interconnection architecture with multiple Switch Boxes (SB) and hardwired connections for realizing data intensive applications (i.e. DSP ap...
Kostas Siozios, Konstantinos Tatas, Dimitrios Soud...