527 search results - page 81 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
TROB
2008
14 years 11 months ago
2008
A nonsmooth (hybrid) 3-D mathematical model of a snake robot (without wheels) is developed and experimentally validated in this paper. The model is based on the framework of nonsmo...
103
click to vote
PVLDB
2008
14 years 11 months ago
2008
Online communities like Flickr, del.icio.us and YouTube have established themselves as very popular and powerful services for publishing and searching contents, but also for ident...
111
click to vote
ENTCS
2007
14 years 11 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— This paper presents a within-stride feedback controller that achieves an exponentially stable, periodic, and fast walking gait for a 3D bipedal robot consisting of a to...
92
Voted
ICDAR
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper describes a system for handwritten Chinese text recognition integrating language model. On a text line image, the system generates character segmentation and word segme...