Sciweavers

1042 search results - page 13 / 209
» Representing real numbers in a generalized numeration system
Sort
View
TCC
2004
Springer
118views Cryptology» more  TCC 2004»
14 years 28 days ago
A General Composition Theorem for Secure Reactive Systems
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
Michael Backes, Birgit Pfitzmann, Michael Waidner
ICONIP
2007
13 years 9 months ago
A System Model for Real-Time Sensorimotor Processing in Brain
Abstract. The present paper addresses a general diagram to investigate the real-time parallel computation mechanism in the brain, using an idea of “Gantt chart.” This diagram e...
Yutaka Sakaguchi
PAAMS
2010
Springer
13 years 6 months ago
A GPU-Based Multi-agent System for Real-Time Simulations
The huge number of cores existing in current Graphics Processor Units (GPUs) provides these devices with computing capabilities that can be exploited by distributed applications. I...
Guillermo Vigueras, Juan M. Orduña, Miguel ...
CASC
2005
Springer
113views Mathematics» more  CASC 2005»
14 years 1 months ago
Real Solving of Bivariate Polynomial Systems
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
Ioannis Z. Emiris, Elias P. Tsigaridas
KDD
2009
ACM
364views Data Mining» more  KDD 2009»
14 years 8 months ago
Causality quantification and its applications: structuring and modeling of multivariate time series
Time series prediction is an important issue in a wide range of areas. There are various real world processes whose states vary continuously, and those processes may have influenc...
Takashi Shibuya, Tatsuya Harada, Yasuo Kuniyoshi