Sciweavers

3302 search results - page 358 / 661
» Software Is More Than Code
Sort
View
CSSE
2008
IEEE
15 years 8 months ago
Image Retrieval Based on Bit-Plane Distribution Entropy
Based on the analysis of color histogram for image retrieval, a new descriptor, bit-plane distribution entropy (BPDE), is proposed in this paper. The image is firstly divided into ...
Zhao Shan, Wang Hai-tao
FOSSACS
2008
Springer
15 years 8 months ago
The Implicit Calculus of Constructions as a Programming Language with Dependent Types
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
Bruno Barras, Bruno Bernardo
WONTO
2008
15 years 8 months ago
ModOnto: A Tool for Modularizing Ontologies
During the last three years there has been growing interest and consequently active research on ontology modularization. This paper presents a concrete tool that incorporates an ap...
Camila Bezerra, Frederico Luiz Gonçalves de...
SERP
2003
15 years 8 months ago
Specification of the Verity Learning Companion and Self-Assessment Tool
In this paper, the specification of Verity, a webbased instructional tool, is presented. Verity is intended to be used as a learning assistant and self-assessment tool, more than ...
Sergiu Dascalu, Daniela Saru, Ryan Simpson, Justin...
AC
2010
Springer
15 years 6 months ago
Features for Content-Based Audio Retrieval
Today, a large number of audio features exists in audio retrieval for different purposes, such as automatic speech recognition, music information retrieval, audio segmentation, an...
Dalibor Mitrovic, Matthias Zeppelzauer, Christian ...