Sciweavers

222 search results - page 10 / 45
» The Potential Coupling Interface: Metadata for Model Couplin...
Sort
View
CHI
1999
ACM
14 years 2 months ago
Principles of Mixed-Initiative User Interfaces
Recent debate has centered on the relative promise of focusing user-interface research on developing new metaphors and tools that enhance users’ abilities to directly manipulate...
Eric Horvitz
ISSAC
2005
Springer
94views Mathematics» more  ISSAC 2005»
14 years 3 months ago
Domains and expressions: an interface between two approaches to computer algebra
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
Cosmin E. Oancea, Stephen M. Watt
ESANN
2004
13 years 11 months ago
Neural Hardware: beyond ones and zeros
An overview of research on the implementation of neural systems is presented in this paper. We focus on implementations where the algorithms and their physical support are tightly ...
Patrice Fleury, Adria Bofill-i-Petit, Alan F. Murr...
MVA
2011
396views Computer Vision» more  MVA 2011»
13 years 4 months ago
Real-time vehicle tracking for driving assistance
Detecting car taillights at night is a task which can nowadays be accomplished very fast on cheap hardware. We rely on such detections to build a vision-based system that, couplin...
Andrea Fossati, Patrick Schönmann, Pascal Fua
EVOW
1999
Springer
14 years 2 months ago
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...