Sciweavers

13734 search results - page 212 / 2747
» Abstractions of data types
Sort
View
ICASSP
2007
IEEE
15 years 10 months ago
Discriminating Two Types of Noise Sources using Cortical Representation and Dimension Reduction Technique
Content-based audio classification techniques have focused on classifying events that are both semantically and perceptually distinct (such as speech, music, environmental sounds...
Shiva Sundaram, Shrikanth Narayanan
LOPSTR
2004
Springer
15 years 9 months ago
Determinacy Analysis for Logic Programs Using Mode and Type Information
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
Pedro López-García, Francisco Bueno,...
PODS
2010
ACM
249views Database» more  PODS 2010»
15 years 9 months ago
Semantic query optimization in the presence of types
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
Michael Meier 0002, Michael Schmidt, Fang Wei, Geo...
EUSFLAT
2003
120views Fuzzy Logic» more  EUSFLAT 2003»
15 years 5 months ago
A Type 2 fuzzy system modelling algorithm
In this paper, a modified fuzzy system modelling algorithm that incorporates Type 2 fuzzy sets, which is based on intervalvalued membership degrees rather than singleton membershi...
Kemal Kilic, Özge Uncu, I. Burhan Türkse...
ENTCS
2008
175views more  ENTCS 2008»
15 years 4 months ago
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
Cezara Dragoi, Gheorghe Stefanescu