Sciweavers

1828 search results - page 264 / 366
» From Features to Semantics: Some Preliminary Results
Sort
View

Book
290views
16 years 8 months ago
Type Theory and Functional Programming
"Constructive Type theory has been a topic of research interest to computer scientists, mathematicians, logicians and philosophers for a number of years. For computer scient...
Simon Thompson
CVPR
2009
IEEE
16 years 5 months ago
Half-integrality based algorithms for Cosegmentation of Images
We study the cosegmentation problem where the objective is to segment the same object (i.e., region) from a pair of images. The segmentation for each image can be cast using a p...
Chuck R. Dyer, Lopamudra Mukherjee, Vikas Singh
GLOBECOM
2007
IEEE
15 years 4 months ago
Enhancing TCP Over HSDPA by Cross-Layer Signalling
Abstract— A comprehensive performance evaluation of a crosslayer solution to increase users’ downlink data rates over HSDPA is provided. The solution consists of a proxy entity...
Marco Fiorenzi, Daniele Girella, Niels Möller...
ICC
2007
IEEE
15 years 4 months ago
A Fast Broadcast Tree Construction in Multi-Rate Wireless Mesh Networks
— One of the wireless mesh network’s important features is each node can support more than one transmission rate. However, few previous literatures on the broadcast tree constr...
Tai Wang, Xu Du, Wenqing Cheng, Zongkai Yang, Wei ...
ICDAR
2007
IEEE
15 years 4 months ago
New Aspects of InkML for Pen-Based Computing
As pen-based computing becomes more prevalent, it is increasingly important to be able to share ink across applications and across platforms. The emerging standard Ink Markup Lang...
Stephen M. Watt