Sciweavers

1999 search results - page 251 / 400
» Dependently Typed Grammars
Sort
View
JMLR
2010
88views more  JMLR 2010»
15 years 1 months ago
Unsupervised Aggregation for Classification Problems with Large Numbers of Categories
Classification problems with a very large or unbounded set of output categories are common in many areas such as natural language and image processing. In order to improve accurac...
Ivan Titov, Alexandre Klementiev, Kevin Small, Dan...
ICCV
2011
IEEE
14 years 3 months ago
Tracking by Sampling Trackers
We propose a novel tracking framework called visual tracker sampler that tracks a target robustly by searching for the appropriate trackers in each frame. Since the real-world trac...
junseok kwon and kyoung mu lee
CORR
2012
Springer
232views Education» more  CORR 2012»
14 years 2 months ago
A Formal Comparison of Approaches to Datatype-Generic Programming
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...
José Pedro Magalhães, Andres Lö...
ALT
2007
Springer
16 years 3 months ago
Prescribed Learning of R.E. Classes
Abstract. This work extends studies of Angluin, Lange and Zeugmann on the dependence of learning on the hypotheses space chosen for the class. In subsequent investigations, uniform...
Sanjay Jain, Frank Stephan, Nan Ye
ICAS
2009
IEEE
168views Robotics» more  ICAS 2009»
16 years 1 months ago
Impact of Video Content on Video Quality for Video over Wireless Networks
—Video streaming is a promising multimedia application and is gaining popularity over wireless/mobile communications. The quality of the video depends heavily on the type of cont...
Asiya Khan, Lingfen Sun, Emmanuel C. Ifeachor