Sciweavers

3710 search results - page 498 / 742
» A new calculus of contexts
Sort
View
IROS
2007
IEEE
119views Robotics» more  IROS 2007»
16 years 29 days ago
Scalable SLAM building conditionally independent local maps
— Local maps algorithms have demonstrated to be well suited for mapping large environments as can reduce the computational cost and improve the consistency of the final estimati...
Pedro Pinies, Juan D. Tardós
ISBI
2007
IEEE
16 years 29 days ago
Quantitative Representation of Three-dimensional Cell Culture Models
Three-dimensional mammary cell culture models offer new opportunities for the development of computational techniques for segmentation, localization, and multicellular organizatio...
Hang Chang, Catherine Park, Bahram Parvin
IV
2007
IEEE
157views Visualization» more  IV 2007»
16 years 28 days ago
Towards a Model of Information Aesthetics in Information Visualization
This paper proposes a model of information aesthetics in the context of information visualization. It addresses the need to acknowledge a recently emerging number of visualization...
Andrea Lau, Andrew Vande Moere
LICS
2007
IEEE
16 years 28 days ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
ROMAN
2007
IEEE
173views Robotics» more  ROMAN 2007»
16 years 28 days ago
Situation-Aware Interpretation, Planning and Execution of User Commands by Autonomous Robots
— For a robot to be able to first understand and then achieve a human’s goals, it must be able to reason about a) the context of the current situation (with respect to which i...
Michael Brenner