1
出版 2006
书本目录: ... -- New Metrics for Static Variable Ordering in Decision Diagrams -- Widening ROBDDs with Prime Implicants...
获取全文
电子 电子书
2
出版 2015
书本目录: ....-D. Chiang, T. Wang) -- Security and Formation of Network-Centric Operations (N.J. Daras) -- A Bio...
获取全文
电子 电子书
3
出版 2005
书本目录: ... on Register-Constrained Inclusion Scheduling -- Hiord: A Type-Free Higher-Order Logic Programming Language...
获取全文
电子 电子书
4
出版 2015
书本目录: ... with using Ahybrid Method -- Membrane System for the Decision-making Problem -- The Operational Model...
获取全文
电子 电子书
5
出版 2014
书本目录: ... -- Loading Data into HBase -- Incomplete Decision-Theoretic Rough Sets Model based on Improved Complete...
获取全文
电子 电子书
6
出版 2006
书本目录: ... Data Storage Systems for an Unbounded Number of Clients -- Time and Communication Efficient Consensus...
获取全文
电子 电子书
7
出版 2007
书本目录: ... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...
获取全文
电子 电子书
8
出版 2010
书本目录: ... -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision...
获取全文
电子 电子书
9
出版 2007
书本目录: ... Multimedia Data Communication Networks -- EVM’s Java Dynamic Memory Manager and Garbage Collector...
获取全文
电子 电子书
10
出版 2005
书本目录: ...EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm...
获取全文
电子 电子书
11
出版 2015
书本目录: ... -- An Assistant Decision-Supporting Method for Urban Transportation Planning over Big Traffic Data -- An Improved...
获取全文
电子 电子书
12
出版 2006
书本目录: ... Using Citation Links and Co-citation Measure: Application to the Water Information System -- Semantic...
获取全文
电子 电子书
13
出版 2007
书本目录: ... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...
获取全文
电子 电子书
14
出版 2015
书本目录: .... Flexibility as a Strategy for Reducing Cost of Renovation in Building Construction Projects -- Chapter 18...
获取全文
电子 电子书
15
出版 2008
书本目录: ... in Cognitive Systems Architectures -- Full Papers -- Application of Naturalistic Decision Making to Emergency...
获取全文
电子 电子书
16
出版 2008
书本目录: ... for Markov Decision Processes with Qualitative Branching Time Objectives -- On Datalog vs. LFP -- Directed st...
获取全文
电子 电子书
17
出版 2008
书本目录: ... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...
获取全文
电子 电子书
18
出版 2008
书本目录: ... -- Binary Decision Diagrams for Reliability Studies -- Field Data Analysis for Repairable Systems: Status...
获取全文
电子 电子书
19
出版 2012
书本目录: ... for Structured Data -- Spectral Signal Unmixing with Interior-Point Nonnegative Matrix Factorization -- Hybrid...
获取全文
电子 电子书
20
出版 2010
书本目录: ... Detection -- Approximation of Data by Decomposable Belief Models -- A Gambler’s Gain Prospects with Coherent...
获取全文
电子 电子书