Sciweavers

1458 search results - page 225 / 292
» Extended Term Rewriting Systems
Sort
View
90
Voted
ICML
2010
IEEE
15 years 1 months ago
Improved Local Coordinate Coding using Local Tangents
Local Coordinate Coding (LCC), introduced in (Yu et al., 2009), is a high dimensional nonlinear learning method that explicitly takes advantage of the geometric structure of the d...
Kai Yu, Tong Zhang
109
Voted
PODS
2010
ACM
197views Database» more  PODS 2010»
15 years 29 days ago
When data dependencies over SQL tables meet the logics of paradox and S-3
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
Sven Hartmann, Sebastian Link
76
Voted
BC
2007
62views more  BC 2007»
15 years 26 days ago
A quantitative synchronization model for smooth pursuit target tracking
We propose a quantitative model for human smooth pursuit tracking of a continuously moving visual target which is based on synchronization of an internal expectancy model of the ta...
Henning U. Voss, Bruce D. McCandliss, Jamshid Ghaj...
94
Voted
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 25 days ago
An HTTP-Based Versioning Mechanism for Linked Data
Dereferencing a URI returns a representation of the current state of the resource identified by that URI. But, on the Web representations of prior states of a resource are also av...
Herbert Van de Sompel, Robert Sanderson, Michael L...
ASE
2006
122views more  ASE 2006»
15 years 24 days ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark