Sciweavers

2555 search results - page 446 / 511
» Putting complex systems to work
Sort
View
96
Voted
CDC
2009
IEEE
156views Control Systems» more  CDC 2009»
15 years 5 months ago
Autonomous motorcycles for agile maneuvers, part I: Dynamic modeling
— Single-track vehicles, such as motorcycles, provide an agile mobile platform. Modeling and control of motorcycles for agile maneuvers, such as those by professional racing ride...
Jingang Yi, Yizhai Zhang, Dezhen Song
122
Voted
CVPR
2003
IEEE
16 years 2 months ago
Shedding Light on the Weather
Virtually all methods in image processing and computer vision, for removing weather effects from images, assume single scattering of light by particles in the atmosphere. In reali...
Srinivasa G. Narasimhan, Shree K. Nayar
144
Voted
CICLING
2009
Springer
16 years 1 months ago
Cross-Language Frame Semantics Transfer in Bilingual Corpora
Recent work on the transfer of semantic information across languages has been recently applied to the development of resources annotated with Frame information for different non-En...
Roberto Basili, Diego De Cao, Danilo Croce, Bonave...
71
Voted
CHI
2007
ACM
16 years 1 months ago
Museum guide robot based on sociological interaction analysis
We are currently working on a museum guide robot with an emphasis on "friendly" human-robot interaction displayed through nonverbal behaviors. In this paper, we focus on...
Yoshinori Kuno, Kazuhisa Sadazuka, Michie Kawashim...
215
Voted
POPL
2006
ACM
16 years 1 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...