Sciweavers

4961 search results - page 817 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
IEICET
2010
207views more  IEICET 2010»
15 years 3 months ago
A Semi-Supervised Approach to Perceived Age Prediction from Face Images
We address the problem of perceived age estimation from face images, and propose a new semi-supervised approach involving two novel aspects. The first novelty is an efficient act...
Kazuya Ueki, Masashi Sugiyama, Yasuyuki Ihara
INFOCOM
2010
IEEE
15 years 3 months ago
Pricing under Constraints in Access Networks: Revenue Maximization and Congestion Management
Abstract—This paper investigates pricing of Internet connectivity services in the context of a monopoly ISP selling broadband access to consumers. We first study the optimal com...
Prashanth Hande, Mung Chiang, A. Robert Calderbank...
ISR
2010
15 years 3 months ago
Electronic Markets, Search Costs, and Firm Boundaries
We study how electronic markets that facilitate broader inter-firm transactions affect the vertical scope of emerging IT-enabled extended enterprises. We do so by modeling firms...
Ramesh Sankaranarayanan, Arun Sundararajan
JAIR
2010
160views more  JAIR 2010»
15 years 3 months ago
Constructing Reference Sets from Unstructured, Ungrammatical Text
Vast amounts of text on the Web are unstructured and ungrammatical, such as classified ads, auction listings, forum postings, etc. We call such text “posts.” Despite their in...
Matthew Michelson, Craig A. Knoblock
138
Voted
MICS
2010
81views more  MICS 2010»
15 years 3 months ago
Tactics for Hierarchical Proof
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
David Aspinall, Ewen Denney, Christoph Lüth