Sciweavers

827 search results - page 130 / 166
» Constrained Classification on Structured Data
Sort
View
ICFP
2009
ACM
14 years 10 months ago
Complete and decidable type inference for GADTs
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
Tom Schrijvers, Simon L. Peyton Jones, Martin Sulz...
ISWC
2002
IEEE
14 years 2 months ago
Multi-Sensor Context Aware Clothing
Inspired by perception in biological systems, distribution of a massive amount of simple sensing devices is gaining more support in detection applications. A focus on fusion of se...
Kristof Van Laerhoven, Albrecht Schmidt, Hans-Wern...
SWAT
1994
Springer
120views Algorithms» more  SWAT 1994»
14 years 1 months ago
Parallel Dynamic Lowest Common Ancestors
This paper gives a CREW PRAM algorithm for the problem of finding lowest common ancestors in a forest under the insertion of leaves and roots and the deletion of leaves. For a fore...
Erik Schenk
ECAI
2008
Springer
13 years 11 months ago
Pedigree Tracking in the Face of Ancillary Content
The accurate tracking and retrieval of content pedigree is a quickly growing requirement as our abilities to create information assets increases exponentially. Plagiarism detection...
Eugene Creswick, Emi Fujioka, Terrance Goan
NIPS
2004
13 years 11 months ago
Triangle Fixing Algorithms for the Metric Nearness Problem
Various problems in machine learning, databases, and statistics involve pairwise distances among a set of objects. It is often desirable for these distances to satisfy the propert...
Inderjit S. Dhillon, Suvrit Sra, Joel A. Tropp