Sciweavers

8816 search results - page 1328 / 1764
» Interactive Modeling of Plants
Sort
View
RTA
2004
Springer
16 years 7 days ago
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
Jacob Matthews, Robert Bruce Findler, Matthew Flat...
TCC
2004
Springer
100views Cryptology» more  TCC 2004»
16 years 7 days ago
On the Random-Oracle Methodology as Applied to Length-Restricted Signature Schemes
In earlier work, we described a “pathological” example of a signature scheme that is secure in the Random Oracle Model, but for which no secure implementation exists. For that...
Ran Canetti, Oded Goldreich, Shai Halevi
UCS
2004
Springer
16 years 7 days ago
Inexpensive and Automatic Calibration for Acceleration Sensors
Abstract— In this paper, we present two methods for calibration of acceleration sensors that are inexpensive, in-situ, require minimum user interaction and are targeted to a broa...
Albert Krohn, Michael Beigl, Christian Decker, Uwe...
UPP
2004
Springer
16 years 7 days ago
Higher-Order Chemical Programming Style
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...
Jean-Pierre Banâtre, Pascal Fradet, Yann Rad...
SAC
2010
ACM
16 years 6 days ago
Haptic manipulation of rational parametric planar cubics using shape constraints
In this paper, we show how to deform a planar rational cubic based on a local interpolation constraint while retaining the qualitative shape of the curve. An impedance-type, paral...
Christoph Fünfzig, Philippe Thomin, Gudrun Al...
« Prev « First page 1328 / 1764 Last » Next »