1
Published 2006
Table of Contents: ... Accepted by a Linear Pushdown Tree Automaton -- Shorter Regular Expressions from Finite-State Automata...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Network on Chip -- System Modeling and Simulation -- Communication Architecture Simulation on the Virtual...
View full text
Electronic eBook
3
by Kleinman, Ken.
Published 2011
Subjects: ...SAS (Computer program language)....
Book
4
Published 2008
Table of Contents: ...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Krylov Subspace Methods Solving Dense Nonsymmetric Linear Systems Arising from BEM -- Research on Bio...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...Invited Papers -- From CA to Gene Expression: Machines and Mechanisms -- What’s New in Wolfram’s...
View full text
Electronic eBook
7
Published 2014
Table of Contents: .... Negenborn, J.M. Maestre.- Part I: From Small-Scale to Large-Scale. The Group of Autonomous Systems...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... from Satisfiability to Knowledge Compilation -- Representing and Reasoning with Operational Semantics...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... -- Implementation of Face Selective Attention Model on an Embedded System -- From Image Annotation to Image...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... of Implementable MSC Languages -- Combining Static Analysis and Model Checking for Systems Employing Commutative...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...Regular Papers -- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems -- Co-simulation...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Algebrae -- Reasoning and Quantification in Fuzzy Description Logics -- Programming with Fuzzy Logic...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Linear Algebra, Computer Programming and Biochemistry Curriculum -- Adaptive Assessments using Open...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Services in Vertical Handoff -- MPEG-4 FGS Video Traffic Model and Its Application in Simulations...
View full text
Electronic eBook