2335 search results - page 322 / 467 » Type Checking Type Classes |
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
Recently developed optical inspection tools provide images from the inside of natural gas pipelines to monitor pipeline integrity. The vast amounts of data generated prohibits hum...
117
Voted
ICML
2005
IEEE
16 years 1 months ago
2005
IEEE
Given a classification problem, our goal is to find a low-dimensional linear transformation of the feature vectors which retains information needed to predict the class labels. We...
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
110
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Classification of images in many category datasets has
rapidly improved in recent years. However, systems that
perform well on particular datasets typically have one or
more lim...
101
Voted
WEBDB
2009
Springer
15 years 7 months ago
2009
Springer
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...