2740 search results - page 268 / 548 » A Model-Based Approach To Requirements Analysis |
127
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
203
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Data analysts need to understand the quality of data in the warehouse. This is often done by issuing many Group By queries on the sets of columns of interest. Since the volume of ...
132
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
— The design and analysis of capacity-approaching input signalling for optical intensity channels are presented. Both peak and average optical power constraints are considered in...
128
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we present a new method for on-line Chinese character recognition that relies on an explicit description of characters structure. Contrary to most of known structur...
129
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, a new efficient word spotting methodology is presented that can be applied to historical printed documents without requiring any previous block or word segmentation...