Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming computers » programming computer, programming chapter, programs computer
circuits case » circuits based, circuits fast, circuits cat
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming computers » programming computer, programming chapter, programs computer
circuits case » circuits based, circuits fast, circuits cat
1
Pubblicazione 2005
Sommario:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Testo
Elettronico
eBook
2
Pubblicazione 2012
Sommario:
“... by Adding a Backward Step -- Memory Resident Parallel Inverted Index Construction -- Dynamic Programming...”Testo
Elettronico
eBook
3
Pubblicazione 2011
Sommario:
“... Identification Using Genetic Algorithms -- 2. Sequential State Computation Using Discrete Modeling -- 3...”Testo
Elettronico
eBook
4
Pubblicazione 2007
Sommario:
“... -- Compactness Properties for Stable Semantics of Logic Programs -- Uniform Circuits, & Boolean Proof Nets...”Testo
Elettronico
eBook
5
Pubblicazione 2005
Sommario:
“... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...”Testo
Elettronico
eBook
6
Pubblicazione 2007
Sommario:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”Testo
Elettronico
eBook
7
Pubblicazione 2010
Sommario:
“... for a Unified Theory? -- Classifying Rankwidth k-DH-Graphs -- Lower Bound on Average-Case Complexity...”Testo
Elettronico
eBook
8
Pubblicazione 2015
Sommario:
“... -- Obtaining agents and entities from natural language -- A New Methodology based on Cloud Computing...”Testo
Elettronico
eBook
9
Pubblicazione 2010
Sommario:
“... and Allergy Private Clinic : A Case Study on Using an Imaging Database to Manage Patients Records...”Testo
Elettronico
eBook
10
Pubblicazione 2014
Sommario:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Testo
Elettronico
eBook
11
Pubblicazione 2008
Sommario:
“...Keynote Addresses -- Extreme Computing on the Distributed European Infrastructure...”Testo
Elettronico
eBook
12
Pubblicazione 2013
Sommario:
“... Constructive Proof of the Topological Kruskal Theorem -- Prior-Free Auctions of Digital Goods -- Clustering...”Testo
Elettronico
eBook
13
Pubblicazione 2012
Sommario:
“... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”Testo
Elettronico
eBook
14
Pubblicazione 2008
Sommario:
“...C/C++ Based System Design -- How Different Are Esterel and SystemC -- Timed Asynchronous Circuits...”Testo
Elettronico
eBook
15
Pubblicazione 2010
Sommario:
“... Circuits -- The Structure of Winning Strategies in Parallel Repetition Games -- Distribution-Free Testing...”Testo
Elettronico
eBook
16
Pubblicazione 2010
Sommario:
“... Programming -- Finding the Best CAFE Is NP-Hard -- The Size and Depth of Layered Boolean Circuits -- Lipschitz...”Testo
Elettronico
eBook
17
Pubblicazione 2005
Sommario:
“... Charts and the Play-Engine Tool -- Formal Construction and Verification of Home Service Robots: A Case...”Testo
Elettronico
eBook
18
Pubblicazione 2007
Sommario:
“... Checking of Analog and Mixed-Signal Circuits Using an SMT Solver -- Model Checking Contracts – A Case Study...”Testo
Elettronico
eBook
19
di Yoong, Li Hsien., Yoong, Li Hsien., Roop, Partha S., Bhatti, Zeeshan E., Kuo, Matthew M. Y.
Pubblicazione 2015
Sommario:
“...Introduction -- IEC 61499 in a Nutshell -- Introduction to Synchronous Programming Using Esterel...”Pubblicazione 2015
Testo
Elettronico
eBook
20
Pubblicazione 2010
Sommario:
“...: the Computationally-Bounded and Noisy Cases -- 2-Party Protocols -- Partial Fairness in Secure Two-Party Computation...”Testo
Elettronico
eBook
- 1
- 2
- Successivo »
- [2]