1
Julkaistu 2008
Sisällysluettelo: ... -- Mapping the NRC Dataflow Model to the Open Provenance Model -- Data Lineage Model for Taverna Workflows...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2008
Sisällysluettelo: ... and Decisional Guidance -- DSS Systems Analysis and Design: The Role of the Analyst as Change Agent -- Evaluation...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2015
Sisällysluettelo: ... Granular Model for Decision Making with Complex Data.-Granularity in Economic Decision Making...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2010
Sisällysluettelo: ... Possibilistic Intuitionistic Logic -- Jason Induction of Logical Decision Trees: A Learning Library and Its...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2012
Sisällysluettelo: ... for Operators with Thick Spectra -- Voronoi Feature Selection Model Considering Variable-Scale Map’s Balance...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2006
Sisällysluettelo: ... Fair Exchange in Byzantine Environments -- A Security Analysis of the Precise Time Protocol (Short...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2008
Sisällysluettelo: ...-Government -- Foundational Data Modeling and Schema Transformations for XML Data Engineering -- Integration...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2007
Sisällysluettelo: ... in Chiron -- Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2015
Sisällysluettelo: ... in a Decision Making Problem by Preference Relation -- RBHR: Region-Based Hybrid Routing Protocol...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2007
Sisällysluettelo: ... Visualization Method of Large-Scale Vector Data for Operation -- Rule-Based Collaborative Volume Visualization...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2014
Sisällysluettelo: ... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2013
Sisällysluettelo: ... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2010
Sisällysluettelo: ... Algebra (Invited) -- CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2010
Sisällysluettelo: ...Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2005
Sisällysluettelo: ... State Graphs Based on Clock Precision Difference -- A Recursive-Adjustment Co-allocation Scheme in Data...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2011
Sisällysluettelo: ... Management for End-to-End Performance Decision Support; Building Code Generators with Genesys: A Tutorial...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2010
Sisällysluettelo: ... Organizations System -- Application of ADMIRE Data Mining and Integration Technologies in Environmental...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2007
Sisällysluettelo: ... -- Implicit Surface Reconstruction from Scattered Point Data with Noise -- The Shannon Entropy-Based Node...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2015
Sisällysluettelo: ... Laguerre-Hammerstein System -- A Comparative Study of Model-based and Data-based Model Order Reduction...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2014
Sisällysluettelo: ... -- Loading Data into HBase -- Incomplete Decision-Theoretic Rough Sets Model based on Improved Complete...
Hae kokoteksti
Elektroninen E-kirja