1
Udgivet 2005
Indholdsfortegnelse: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
Få fuldtekst
Electronisk eBog
3
Udgivet 2015
Indholdsfortegnelse: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
Få fuldtekst
Electronisk eBog
4
Udgivet 2007
Indholdsfortegnelse: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
Få fuldtekst
Electronisk eBog
5
Udgivet 2014
Indholdsfortegnelse: ... Product Graphs -- Integer Programming Methods for Special College Admissions Problems -- On the Width...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
Få fuldtekst
Electronisk eBog
7
Udgivet 2005
Indholdsfortegnelse: ... of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds...
Få fuldtekst
Electronisk eBog
8
Udgivet 2008
Indholdsfortegnelse: ... -- Foundational Issues -- An Entity Name System (ENS) for the Semantic Web -- A Functional Semantic Web...
Få fuldtekst
Electronisk eBog
9
af Nash, Trey., Nash, Trey.
Udgivet 2007
Indholdsfortegnelse: ... -- Arrays, Collection Types, and Iterators -- Delegates, Anonymous Functions, and Events -- Generics...
Få fuldtekst
Electronisk eBog
10
af Nash, Trey., Nash, Trey.
Udgivet 2010
Indholdsfortegnelse: ... -- Arrays, Collection Types, and Iterators -- Delegates, Anonymous Functions, and Events -- Generics...
Få fuldtekst
Electronisk eBog
11
Udgivet 2006
Indholdsfortegnelse: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
Få fuldtekst
Electronisk eBog
12
Udgivet 2007
Indholdsfortegnelse: ... Functions for Learning and Clustering -- Machine Learning in Ecosystem Informatics -- Challenge for Info...
Få fuldtekst
Electronisk eBog