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