Sciweavers

3771 search results - page 140 / 755
» Subobject Transformation Systems
Sort
View
123
Voted
FSE
2005
Springer
108views Cryptology» more  FSE 2005»
15 years 9 months ago
Unbiased Random Sequences from Quasigroup String Transformations
Abstract. The need of true random number generators for many purposes (ranging from applications in cryptography and stochastic simulation, to search heuristics and game playing) i...
Smile Markovski, Danilo Gligoroski, Ljupco Kocarev
SIGMOD
2010
ACM
236views Database» more  SIGMOD 2010»
15 years 8 months ago
Differentially private aggregation of distributed time-series with transformation and encryption
We propose PASTE, the first differentially private aggregation algorithms for distributed time-series data that offer good practical utility without any trusted server. PASTE add...
Vibhor Rastogi, Suman Nath
126
Voted
GG
2004
Springer
15 years 8 months ago
Adhesive High-Level Replacement Categories and Systems
Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the w...
Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulri...
122
Voted
AUTOMATICA
2010
103views more  AUTOMATICA 2010»
15 years 3 months ago
Observer forms for perspective systems
: Estimation of 3D position information from 2D images in computer vision systems can be formulated as a state estimation problem for a nonlinear perspective dynamic system. The mu...
Ola Dahl, Yebin Wang, Alan F. Lynch, Anders Heyden
124
Voted
FASE
1999
Springer
15 years 7 months ago
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
Eva Coscia, Gianna Reggio