Sciweavers

3865 search results - page 439 / 773
» From Bidirectionality to Alternation
Sort
View
IROS
2009
IEEE
150views Robotics» more  IROS 2009»
16 years 1 months ago
Learning locomotion over rough terrain using terrain templates
— We address the problem of foothold selection in robotic legged locomotion over very rough terrain. The difficulty of the problem we address here is comparable to that of human...
Mrinal Kalakrishnan, Jonas Buchli, Peter Pastor, S...
IROS
2009
IEEE
195views Robotics» more  IROS 2009»
16 years 1 months ago
Appearance contrast for fast, robust trail-following
— We describe a framework for finding and tracking “trails” for autonomous outdoor robot navigation. Through a combination of visual cues and ladar-derived structural inform...
Christopher Rasmussen, Yan Lu, Mehmet Kocamaz
IWPC
2009
IEEE
16 years 1 months ago
An empirical study on the comprehension of stereotyped UML class diagram layouts
An empirical study is presented that investigates how stereotype based layouts impact the comprehension of UML class diagrams. This work continues a previous study using eye-track...
Bonita Sharif, Jonathan I. Maletic
WEBDB
2009
Springer
130views Database» more  WEBDB 2009»
16 years 1 months ago
A Referential Integrity Browser for Distributed Databases
We demonstrate a program that can inspect a distributed relational database on the Internet to discover and quantify referential integrity issues for integration purposes. The pro...
Carlos Ordonez, Javier García-García...
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
16 years 1 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo