Sciweavers

3809 search results - page 320 / 762
» Associative language descriptions
Sort
View
ICSOC
2003
Springer
15 years 12 months ago
Model Checking Correctness Properties of Electronic Contracts
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
Ellis Solaiman, Carlos Molina-Jiménez, Sant...
IEEEMSP
2002
IEEE
15 years 11 months ago
Musical query-by-description as a multiclass learning problem
Abstract—We present the query-by-description (QBD) component of “Kandem,” a time-aware music retrieval system. The QBD system we describe learns a relation between descriptiv...
Brian Whitman, Ryan M. Rifkin
ERCIMDL
1998
Springer
116views Education» more  ERCIMDL 1998»
15 years 11 months ago
Documentation, Cataloging and Query by Navigation: A Practical and Sound Approach
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
F. J. M. Bosman, Peter Bruza, Theo P. van der Weid...
ERCIMDL
1998
Springer
115views Education» more  ERCIMDL 1998»
15 years 11 months ago
The Application of Metadata Standards to Video Indexing
This paper first outlines a multi-level video indexing approach based on Dublin Core extensions and the Resource Description Framework (RDF). The advantages and disadvantages of t...
Jane Hunter
ICCAD
1994
IEEE
99views Hardware» more  ICCAD 1994»
15 years 11 months ago
Condition graphs for high-quality behavioral synthesis
Identifying mutual exclusiveness between operators during behavioral synthesis is important in order to reduce the required number of control steps or hardware resources. To impro...
Hsiao-Ping Juan, Viraphol Chaiyakul, Daniel D. Gaj...