1
Published 2014
Table of Contents: ... Formulations -- Improved Submatrix Maximum Queries in Monge Matrices -- For-All Sparse Recovery in Near-Optimal...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Phonation Biomechanics -- Retinal DOG Filters: Effects of the Discretization Process -- Computable...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Recognition System -- Binary Data Compression Using Medial Axis Transform Algorithm -- Internet Usage...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...
View full text
Electronic eBook
6
7
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Processing -- Formulating Queries for Assessing Clinical Trial Eligibility -- Multi-lingual Web Querying: A...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Node Detection Problem -- Integer Programming Formulations for Minimum Spanning Forests and Connected...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Reordering Optimization During Legal Systems Migration -- Automated SuperSQL Query Formulation Based...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Datastreams: XMLtapes and Internet Archive ARC Files -- A No-Compromises Architecture for Digital Document...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Interactions among Users in Urban Computing Environments -- Multi-criteria Retrieval in Cultural Heritage...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... -- Certified Computer Algebra on Top of an Interactive Theorem Prover -- Quantifier Elimination for Approximate...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... in Collaborative Design with Suppliers -- Improved ComputationalModels -- Direct Measurement of Dynamic Structural...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...Fundamentals of Scheduling -- Is Scheduling a Solved Problem? -- Formulations, Relaxations...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... and their Ensembles -- Mobile Web, Internet of Things and Semantic Streams -- Standardized and Efficient RDF Encoding...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... -- (Meta) Analysis of Digital Libraries -- An Analysis of the Evolving Coverage of Computer Science Sub...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... -- Sparse Signal Recovery by Difference of Convex Functions Algorithms -- DC Programming and DCA Based Cross...
View full text
Electronic eBook
20
Published 2011
Table of Contents: ... and Emerging Issues -- Children, Women and Ethnic Minorities In Research -- Grantsmanship -- Program...
View full text
Electronic eBook