1999 search results - page 185 / 400 » Dependently Typed Grammars |
150
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates, as well as Boolean operations on regions, interpreted over low-...
242
click to vote
ICA
2012
Springer
14 years 2 months ago
2012
Springer
We consider the Independent Subspace Analysis problem from the point of view of contrast functions, showing that contrast functions are able to partially solve the ISA problem. Tha...
188
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
The state of the art commercial query optimizers employ cost-based optimization and exploit dynamic programming (DP) to find the optimal query execution plan (QEP) without evalua...
153
click to vote
HPCC
2007
Springer
16 years 18 days ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...
196
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
The detection of correlations between different features in a set of feature vectors is a very important data mining task because correlation indicates a dependency between the fe...