824 search results - page 65 / 165 » The Structure Function and Distinguishable Models of Data |
KDD
2008
ACM
14 years 9 months ago
2008
ACM
Discriminative training for structured outputs has found increasing applications in areas such as natural language processing, bioinformatics, information retrieval, and computer ...
HAPTICS
2005
IEEE
14 years 2 months ago
2005
IEEE
People rely on tactile edge localization to ascertain the location and structure of edges. When pressure is applied to the skin, skin mechanoreceptors convert compressive stress/s...
HIM
1997
Springer
14 years 1 months ago
1997
Springer
Classical retrieval models support content-oriented searching for documents using a set of words as data model. However, in hypertext and database applications we want to consider...
IDEAS
2000
IEEE
14 years 1 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...