Sciweavers

8196 search results - page 462 / 1640
» Computational Modeling and Complexity Science
Sort
View
ATAL
2008
Springer
15 years 9 months ago
Selecting strategies using empirical game models: an experimental analysis of meta-strategies
In many complex multi-agent domains it is impractical to compute exact analytic solutions. An alternate means of analysis applies computational tools to derive and analyze empiric...
Christopher Kiekintveld, Michael P. Wellman
ANSS
1999
IEEE
15 years 11 months ago
DYANA: An Environment for Embedded System Design and Analysis
The results presented here are based on many years of experience of development and application of DYANA
Ruslan L. Smeliansky, Anatoly G. Bakhmurov, A. P. ...
ARTS
1999
Springer
15 years 11 months ago
A Formal Model of Real-Time Program Compilation
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
Karl Lermer, Colin J. Fidge
NAACL
2010
15 years 4 months ago
A Hybrid Morphologically Decomposed Factored Language Models for Arabic LVCSR
In this work, we try a hybrid methodology for language modeling where both morphological decomposition and factored language modeling (FLM) are exploited to deal with the complex ...
Amr El-Desoky, Ralf Schlüter, Hermann Ney
ACMSE
2009
ACM
16 years 1 months ago
Bit vector algorithms enabling high-speed and memory-efficient firewall blacklisting
In a world of increasing Internet connectivity coupled with increasing computer security risks, security conscious network applications implementing blacklisting technology are be...
J. Lane Thames, Randal Abler, David Keeling