Sciweavers

658 search results - page 98 / 132
» Explicit Local Models: Towards
Sort
View
SMA
2008
ACM
154views Solid Modeling» more  SMA 2008»
14 years 9 months ago
Consistent computation of first- and second-order differential quantities for surface meshes
Differential quantities, including normals, curvatures, principal directions, and associated matrices, play a fundamental role in geometric processing and physics-based modeling. ...
Xiangmin Jiao, Hongyuan Zha
RAS
2002
168views more  RAS 2002»
14 years 9 months ago
Neural predictive control for a car-like mobile robot
: This paper presents a new path-tracking scheme for a car-like mobile robot based on neural predictive control. A multi-layer back-propagation neural network is employed to model ...
Dongbing Gu, Huosheng Hu
CAV
2009
Springer
165views Hardware» more  CAV 2009»
15 years 10 months ago
Symbolic Counter Abstraction for Concurrent Software
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
Daniel Kroening, Gérard Basler, Michele Maz...
BMCBI
2004
123views more  BMCBI 2004»
14 years 9 months ago
A two-way interface between limited Systems Biology Markup Language and R
Background: Systems Biology Markup Language (SBML) is gaining broad usage as a standard for representing dynamical systems as data structures. The open source statistical programm...
Tomas Radivoyevitch
WWW
2008
ACM
15 years 10 months ago
Dtwiki: a disconnection and intermittency tolerant wiki
Wikis have proven to be a valuable tool for collaboration and content generation on the web. Simple semantics and ease-of-use make wiki systems well suited for meeting many emergi...
Bowei Du, Eric A. Brewer