Sciweavers

17049 search results - page 246 / 3410
» cans 2007
Sort
View
NIPS
2004
15 years 8 months ago
The Variational Ising Classifier (VIC) Algorithm for Coherently Contaminated Data
There has been substantial progress in the past decade in the development of object classifiers for images, for example of faces, humans and vehicles. Here we address the problem ...
Oliver M. C. Williams, Andrew Blake, Roberto Cipol...
SEBD
2001
75views Database» more  SEBD 2001»
15 years 8 months ago
Data on the Web: A W3C Perspective
What is the "high level view" of data on the Web that can be traced down within W3C's rich roadmap of technologies? What the relationships between the "big need...
Massimo Marchiori
INTERACT
2003
15 years 8 months ago
Visually-tracked Flashlights as Interaction Devices
: We describe a technique for visually tracking flashlights so that they can be used as fun, cheap, intuitive and safe interaction devices with a wide range of surfaces. Our implem...
Ahmed Ghali, Steve Benford, Sahar Bayoumi, Jonatha...
APAL
2006
62views more  APAL 2006»
15 years 6 months ago
Fundamental notions of analysis in subsystems of second-order arithmetic
We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having...
Jeremy Avigad, Ksenija Simic
ACTA
2005
104views more  ACTA 2005»
15 years 6 months ago
Subtyping for session types in the pi calculus
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
Simon J. Gay, Malcolm Hole