1
Publicat 2006
Taula de continguts: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
Obtenir text complet
Electrònic eBook
2
Publicat 2007
Taula de continguts: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Obtenir text complet
Electrònic eBook
3
Publicat 2010
Taula de continguts: ... Extended Points: An Overview -- Spatial Neighbors for Topological Spatial Relations: The Case of a Circular...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ... Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower...
Obtenir text complet
Electrònic eBook
6
Publicat 2005
Taula de continguts: ... Engineering of Emergency and Process Shutdown Systems -- Combining Extended UML Models and Formal Methods...
Obtenir text complet
Electrònic eBook
7
Publicat 2012
Taula de continguts: ... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...
Obtenir text complet
Electrònic eBook
8
Publicat 2007
Taula de continguts: ...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...
Obtenir text complet
Electrònic eBook
9
Publicat 2007
Taula de continguts: ... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...
Obtenir text complet
Electrònic eBook
10
Publicat 2014
Taula de continguts: ...Image and Template Security for Palmprint -- Extending Network Lifetime by Time Constrained Data...
Obtenir text complet
Electrònic eBook
11
Publicat 2007
Taula de continguts: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... Evolution Learned by Listening to Smalltalk -- The Web of Things: Extending the Web into the Real World...
Obtenir text complet
Electrònic eBook
13
14
Publicat 2015
Taula de continguts: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
Obtenir text complet
Electrònic eBook
15
Publicat 2008
Taula de continguts: ...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...
Obtenir text complet
Electrònic eBook
16
Publicat 2007
Taula de continguts: ... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...
Obtenir text complet
Electrònic eBook
17
Publicat 2006
Taula de continguts: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
Obtenir text complet
Electrònic eBook
18
Publicat 2013
Taula de continguts: ... -- Computer Aided Diagnostic Methods to Forecast Condition-based Maintenance Tasks -- On Numerical Approach...
Obtenir text complet
Electrònic eBook
19
Publicat 2014
Taula de continguts: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Obtenir text complet
Electrònic eBook
20
Publicat 2013
Taula de continguts: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Obtenir text complet
Electrònic eBook