Sciweavers

32607 search results - page 6516 / 6522
» Supporting
Sort
View
CDC
2009
IEEE
156views Control Systems» more  CDC 2009»
14 years 2 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
ICFP
1999
ACM
14 years 2 months ago
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
Matthew Flatt, Robert Bruce Findler, Shriram Krish...
TPHOL
1997
IEEE
14 years 2 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
SIGIR
1997
ACM
14 years 2 months ago
Learning Routing Queries in a Query Zone
Word usage is domain dependent. A common word in one domain can be quite infrequent in another. In this study we exploit this property of word usage to improve document routing. W...
Amit Singhal, Mandar Mitra, Chris Buckley
SIGGRAPH
1990
ACM
14 years 1 months ago
Rapid controlled movement through a virtual 3D workspace
not abstract asymmetry: different sides looks different clumps different from "data objects" need grid structure, alignment [Design Guidelines for Landmarks to Support Na...
Jock D. Mackinlay, Stuart K. Card, George G. Rober...
« Prev « First page 6516 / 6522 Last » Next »