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»
15 years 5 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»
15 years 5 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»
13 years 2 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
15 years 1 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
15 years 1 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