386 search results - page 75 / 78 » Coalgebraic Hybrid Logic |
102
click to vote
ICIP
1998
IEEE
16 years 1 months ago
1998
IEEE
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
DAC
2002
ACM
16 years 19 days ago
2002
ACM
Increasing non-recurring engineering (NRE) and mask costs are making it harder to turn to hardwired Application Specific Integrated Circuit (ASIC) solutions for high performance a...
111
click to vote
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...
117
click to vote
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we present the analysis, design and implementation of an estimator to realize large bit width unsigned integer multiplier units. Larger multiplier units are require...
DASFAA
2003
IEEE
15 years 5 months ago
2003
IEEE
To integrate many data sources we use a peer mediator framework where views defined in the peers are logically composed in terms of each other. A common approach to execute queri...