1
Julkaistu 2006
Sisällysluettelo: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2006
Sisällysluettelo: ... Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2005
Sisällysluettelo: ... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2005
Sisällysluettelo: ... -- Key Frame Extraction Based on Shot Coverage and Distortion -- Secret Message Location Steganalysis...
Hae kokoteksti
Elektroninen E-kirja
5
Tekijä Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
Julkaistu 2005
Sisällysluettelo: ... -- Data Modeling -- Message-Based Modeling of Data Interchange -- A Descriptive Approach -- Tool Support...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2013
Sisällysluettelo: ... Processing of Linked Stream Data in the Cloud -- Towards Constructive Evidence of Data Flow-Oriented Web...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2010
Sisällysluettelo: ...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2008
Sisällysluettelo: ... Framework to Support Automatic Construction of Adaptive Learning Experiences -- Learning Resource...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2010
Sisällysluettelo: ... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2008
Sisällysluettelo: ... Dataset Construction: An Active Learning Approach -- GeoS: Geodesic Image Segmentation -- Simultaneous...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2008
Sisällysluettelo: ... Networks -- Construction of Minimum Connected Dominating Set in 3-Dimensional Wireless Network...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2008
Sisällysluettelo: ...: the EuNIC proposal -- Digital literacy as a challenge for Teacher Education -- The Use of Interactive...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2010
Sisällysluettelo: ... and HomePNA3.0 MAC -- Automatic Translation of a Process Level Petri-Net to a Ladder Diagram -- Software...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2006
Sisällysluettelo: ... -- Artificial Intelligence and Decision Support Systems -- CONSTRUCTION OF DECISION TREES USING DATA CUBE...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2010
Sisällysluettelo: ... Using Quadratic Programming -- Understanding Diagrams and Text -- Recognizing the Intended Message...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2006
Sisällysluettelo: ...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2007
Sisällysluettelo: ... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2007
Sisällysluettelo: ... Programs in an SMT Framework -- A Generic Constructive Solution for Concurrent Games with Expressive...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2010
Sisällysluettelo: ...2010 Workshop Organizers’ Message -- On-Line Preferential Nearest Neighbor Browsing in Large Attributed...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2011
Sisällysluettelo: ...The RNA Infrastructure: An Introduction to ncRNA Networks -- RNA Interactions -- Plant RNA...
Hae kokoteksti
Elektroninen E-kirja