Sciweavers

520 search results - page 41 / 104
» Operator Calculus Approach to Solving Analytic Systems
Sort
View
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
14 years 1 months ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
GECCO
2004
Springer
150views Optimization» more  GECCO 2004»
14 years 1 months ago
Parameter Adaptation within Co-adaptive Learning Classifier Systems
The authors propose a co-adaptive approach to controlling parameters for coevolution-based learning classifier systems. By taking advantage of the on-line incremental learning capa...
Chung-Yuan Huang, Chuen-Tsai Sun
ICDE
2012
IEEE
267views Database» more  ICDE 2012»
11 years 10 months ago
Scalable and Numerically Stable Descriptive Statistics in SystemML
—With the exponential growth in the amount of data that is being generated in recent years, there is a pressing need for applying machine learning algorithms to large data sets. ...
Yuanyuan Tian, Shirish Tatikonda, Berthold Reinwal...
CCS
2008
ACM
13 years 9 months ago
Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
Ralf Küsters, Tomasz Truderung
WSC
2001
13 years 9 months ago
Hierarchical modeling of a shipyard integrated with an external scheduling application
This paper presents a hierarchical approach on the simulation of large-scale discrete event systems used recently by Kiran Consulting Group (KCG) to model shipyard operations. Bec...
Ali S. Kiran, Tekin Cetinkaya, Juan Cabrera