Sciweavers

1916 search results - page 242 / 384
» Reasoning with class algebra
Sort
View
AMC
2006
131views more  AMC 2006»
13 years 10 months ago
How much can analog and hybrid systems be proved (super-)Turing
Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
Olivier Bournez
SIGMOD
2002
ACM
145views Database» more  SIGMOD 2002»
13 years 9 months ago
MPEG-7 and Multimedia Database Systems
The Multimedia Description Standard MPEG-7 is an International Standard since February 2002. It defines a huge set of description classes for multimedia content, for its creation ...
Harald Kosch
ICDIM
2010
IEEE
13 years 8 months ago
High-order functions and their ordering relations
High-order functions are the sole elements in a class of recursive functions. The functions are related to each other through application, i.e., applying a function to an argument...
Kevin H. Xu, Jingsong Zhang, Shelby Gao
INTERSPEECH
2010
13 years 5 months ago
Can conversational word usage be used to predict speaker demographics?
This work surveys the potential for predicting demographic traits of individual speakers (gender, age, education level, ethnicity, and geographic region) using only word usage fea...
Dan Gillick
ICANN
2011
Springer
13 years 1 months ago
Extending Tree Kernels with Topological Information
The definition of appropriate kernel functions is crucial for the performance of a kernel method. In many of the state-of-the-art kernels for trees, matching substructures are con...
Fabio Aiolli, Giovanni Da San Martino, Alessandro ...