1
Publicat 2005
Taula de continguts: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Obtenir text complet
Electrònic eBook
3
Publicat 2006
Taula de continguts: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...
Obtenir text complet
Electrònic eBook
5
Publicat 2005
Taula de continguts: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... Diagnosis with the Use of Intelligent Techniques -- Introducing Parallel Computations to a PTTP-Based First...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
Obtenir text complet
Electrònic eBook
8
Publicat 2005
Taula de continguts: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Obtenir text complet
Electrònic eBook
9
Publicat 2008
Taula de continguts: ...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...
Obtenir text complet
Electrònic eBook
10
Publicat 2006
Taula de continguts: ... Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis...
Obtenir text complet
Electrònic eBook
11
Publicat 2005
Taula de continguts: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Obtenir text complet
Electrònic eBook
12
Publicat 2008
Taula de continguts: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
Obtenir text complet
Electrònic eBook
13
Publicat 2008
Taula de continguts: ... of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach -- Using Multi-scale Glide Zoom...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
Obtenir text complet
Electrònic eBook
15
Publicat 2005
Taula de continguts: ... Functions of Multiple Transcription Factors -- Predicting Transcription Factor Binding Sites Using...
Obtenir text complet
Electrònic eBook
16
Publicat 2005
Taula de continguts: ... Video Retrieval for Multimedia Information Systems -- Using an Exact Radial Basis Function Artificial...
Obtenir text complet
Electrònic eBook
17
Publicat 2007
Taula de continguts: ... Networks Using Gene Expression Time Series Data -- Biological Network Inference Using Redundancy Analysis...
Obtenir text complet
Electrònic eBook
18
Publicat 2015
Taula de continguts: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
Obtenir text complet
Electrònic eBook
19
Publicat 2005
Taula de continguts: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
Obtenir text complet
Electrònic eBook
20
Publicat 2006
Taula de continguts: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
Obtenir text complet
Electrònic eBook