75 search results - page 10 / 15 » A New Method of Implementing Hierarchical OPC |
KBSE
1997
IEEE
13 years 11 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
ISMIR
2005
Springer
14 years 26 days ago
2005
Springer
With the rising popularity of digital music archives the need for new access methods such as interactive exploration or similarity-based search become significant. In this paper ...
ACL
2008
13 years 8 months ago
2008
This paper demonstrates a new method for leveraging unstructured annotations to infer semantic document properties. We consider the domain of product reviews, which are often anno...
CEC
2008
IEEE
14 years 1 months ago
2008
IEEE
— This work is part of a project that aims to develop and operate integrated evolvable hardware systems using unconstrained evolution. Experiments are carried out on an evolvable...
WSCG
2003
13 years 8 months ago
2003
This paper presents our work on an experimental system for visualization of the light load. The light load is thought as the total amount of light radiation received by all areas ...