Sciweavers

2344 search results - page 397 / 469
» Generating from a Deep Structure
Sort
View
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
14 years 9 months ago
Improved GPS sensor model for mobile robots in urban terrain
Abstract— Autonomous robot navigation in outdoor scenarios gains increasing importance in various growing application areas. Whereas in non-urban domains such as deserts the prob...
Daniel Maier, Alexander Kleiner
ITP
2010
172views Mathematics» more  ITP 2010»
14 years 9 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
IV
2010
IEEE
158views Visualization» more  IV 2010»
14 years 9 months ago
An Interactive Visualization Framework for Time-Series of Web Graphs in a 3D Environment
We propose an interactive framework for the 3D visualization of the time-series of Web graphs. The purpose of our framework is to enable users to examine the evolution of Web grap...
Masahiko Itoh, Masashi Toyoda, Masaru Kitsuregawa
104
Voted
LATA
2010
Springer
14 years 9 months ago
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
Fernando Rosa Velardo, Giorgio Delzanno
ICMLA
2010
14 years 9 months ago
Nonlinear Dynamical Multi-Scale Model of Associative Memory
How can we get such reliable behavior from the mind when the brain is made up of such unreliable elements as neurons? We propose that the answer is related to the emergence of stab...
Alexander M. Duda, Stephen E. Levinson