Sciweavers

1798 search results - page 49 / 360
» Generating presentation constraints from rhetorical structur...
Sort
View
TSP
2008
92views more  TSP 2008»
13 years 9 months ago
Distributed Structures, Sequential Optimization, and Quantization for Detection
Abstract--In the design of distributed quantization systems one inevitably confronts two types of constraints--those imposed by a distributed system's structure and those impo...
Michael A. Lexa, Don H. Johnson
CP
1997
Springer
14 years 1 months ago
Random Constraint Satisfaction: A More Accurate Picture
In the last few years there has been a great amount of interest in Random Constraint Satisfaction Problems, both from an experimental and a theoretical point of view. Quite intrigu...
Dimitris Achlioptas, Lefteris M. Kirousis, Evangel...
ISSRE
2006
IEEE
14 years 3 months ago
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zh...
CVPR
2004
IEEE
14 years 11 months ago
Towards Robust Structure-Based Enhancement and Horizon Picking in 3-D Seismic Data
We present a novel structure-enhancing adaptive filter guided by features derived from the Gradient Structure Tensor. We employ this filter to reduce noise in seismic data and to ...
Sean M. O'Malley, Ioannis A. Kakadiaris
VLSID
2003
IEEE
253views VLSI» more  VLSID 2003»
14 years 9 months ago
High Level Synthesis from Sim-nML Processor Models
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
Souvik Basu, Rajat Moona