Sciweavers

6794 search results - page 508 / 1359
» Semantics of Visual Languages
Sort
View
HRI
2006
ACM
16 years 28 days ago
Structural descriptions in human-assisted robot visual learning
The paper presents an approach to using structural descriptions, obtained through a human-robot tutoring dialogue, as labels for the visual object models a robot learns. The paper...
Geert-Jan M. Kruijff, John D. Kelleher, Gregor Ber...
VISSYM
2007
15 years 9 months ago
Visualization of Uncertainty in Lattices to Support Decision-Making
Lattice graphs are used as underlying data structures in many statistical processing systems, including natural language processing. Lattices compactly represent multiple possible...
Christopher Collins, M. Sheelagh T. Carpendale, Ge...
CORR
2011
Springer
145views Education» more  CORR 2011»
15 years 1 months ago
SLDs for Visualizing Multicolor Elevation Contour Lines in Geo-Spatial Web Applications
— This paper addresses the need for geospatial consumers (either humans or machines) to visualize multicolored elevation contour poly lines with respect their different contour i...
B. G. Kodge, P. S. Hiremath
TLDI
2009
ACM
122views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Towards type-theoretic semantics for transactional concurrency
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
Aleksandar Nanevski, Paul Govereau, Greg Morrisett
CVPR
2010
IEEE
16 years 3 months ago
What Helps Where - And Why? Semantic Relatedness for Knowledge Transfer
Remarkable performance has been reported to recognize single object classes. Scalability to large numbers of classes however remains an important challenge for today's recogn...
Marcus Rohrbach, Michael Stark, Gyö Szarvas, Bern...