64 search results - page 12 / 13 » Linear Dependent Types and Relative Completeness |
165
Voted
TIP
2011
14 years 10 months ago
2011
We propose a prediction technique that is geared toward forming successful estimates of a signal based on a correlated anchor signal that is contaminated with complex interference...
155
Voted
PERCOM
2007
ACM
16 years 2 months ago
2007
ACM
This paper develops a context aware framework to address the diverse communication needs of a modern enterprise. Such enterprises are characterized by workers in different locatio...
128
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
The impact of interruptions on workflow and productivity has been extensively studied in the PC domain, but while fragmented user attention is recognized as an inherent aspect of ...
134
Voted
ILP
2003
Springer
15 years 8 months ago
2003
Springer
In many data mining tools that support regression tasks, training data are stored in a single table containing both the target field (dependent variable) and the attributes (indepe...
175
Voted
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...