152 search results - page 25 / 31 » Bridging the semantic gap in sports |
ICIP
2005
IEEE
15 years 3 months ago
2005
IEEE
Binary Partition Trees (BPTs) are a well known technique used for region-based image representation and analysis. BPTs are usually created as a result of a merging process based o...
108
click to vote
SSDBM
2000
IEEE
15 years 1 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
CODES
1999
IEEE
15 years 1 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
TPHOL
1999
IEEE
15 years 1 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
VLSID
1999
IEEE
15 years 1 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...