Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming predicate » programming predicated, programming dedicated, programming predicting
predicate methods » predictive methods, prediction methods, medicine methods
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming predicate » programming predicated, programming dedicated, programming predicting
predicate methods » predictive methods, prediction methods, medicine methods
1
Argitaratua 2008
Aurkibidea:
“...-Way Function Based on an Average-Case Assumption -- On Characteristic Constants of Theories Defined...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...”Testu osoa
Baliabide elektronikoa
eBook
4
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...
Argitaratua 2013
Aurkibidea:
“... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2008
Aurkibidea:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2005
Aurkibidea:
“...KEYNOTE SPEECHES -- Ranking Abstraction as Companion to Predicate Abstraction -- Developing High...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2005
Aurkibidea:
“... -- Periodicity-Based Temporal Constraints -- A Survey of Problem Difficulty in Genetic Programming -- Intelligent...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2008
Aurkibidea:
“... -- A Graph Based Method for Building Multilingual Weakly Supervised Dependency Parsers -- A Web-Based...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2006
Aurkibidea:
“... Time-Series Data Mining Environment Based on Temporal Pattern Extraction Methods: A Case Study...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2006
Aurkibidea:
“... Complex Connectivity? -- Theoretical and Logical Methods -- The Predicate-Minimizing Logic MIN -- Strong...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2005
Aurkibidea:
“... Regulator for Power Systems -- EEG Source Localization for Two Dipoles in the Brain Using a Combined Method...”Testu osoa
Baliabide elektronikoa
eBook