Sciweavers

3174 search results - page 165 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
VIS
2004
IEEE
148views Visualization» more  VIS 2004»
16 years 7 months ago
Detection and Visualization of Anomalous Structures in Molecular Dynamics Simulation Data
In this article we explore techniques to detect and visualize features in data from molecular dynamics (MD) simulations. Although the techniques proposed are general, we focus on ...
John Wilkins, Kaden Hazzard, Raghu Machiraju, Same...
IROS
2009
IEEE
140views Robotics» more  IROS 2009»
16 years 1 months ago
Transferring embodied concepts between perceptually heterogeneous robots
— This paper explores methods and representations that allow two perceptually heterogeneous robots, each of which represents concepts via grounded properties, to transfer knowled...
Zsolt Kira
CIARP
2009
Springer
16 years 1 months ago
Finding Images with Similar Lighting Conditions in Large Photo Collections
When we look at images taken from outdoor scenes, much of the information perceived is due to the ligthing conditions. In these scenes, the solar beams interact with the atmosphere...
Mauricio Díaz, Peter F. Sturm
FMCAD
2009
Springer
16 years 1 months ago
Software model checking via large-block encoding
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M...
WIMOB
2008
IEEE
16 years 28 days ago
VENETA: Serverless Friend-of-Friend Detection in Mobile Social Networking
—Recently, mobile social software has become an active area of research and development. A multitude of systems have been proposed over the past years that try to follow the succ...
Marco von Arb, Matthias Bader, Michael Kuhn 0002, ...