Sciweavers

3591 search results - page 329 / 719
» Typing linear constraints
Sort
View
CORR
2004
Springer
140views Education» more  CORR 2004»
15 years 6 months ago
Checking modes of HAL programs
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
Maria J. García de la Banda, Warwick Harvey...
IWC
2002
121views more  IWC 2002»
15 years 6 months ago
Discovering user communities on the Internet using unsupervised machine learning techniques
Interest in the analysis of user behaviour on the Internet has been increasing rapidly, especially since the advent of electronic commerce. In this context, we argue here for the ...
Georgios Paliouras, Christos Papatheodorou, Vangel...
PVLDB
2010
146views more  PVLDB 2010»
15 years 5 months ago
Graph Indexing of Road Networks for Shortest Path Queries with Label Restrictions
The current widespread use of location-based services and GPS technologies has revived interest in very fast and scalable shortest path queries. We introduce a new shortest path q...
Michael Rice, Vassilis J. Tsotras
CVPR
2004
IEEE
16 years 9 months ago
Robust Subspace Clustering by Combined Use of kNND Metric and SVD Algorithm
Subspace clustering has many applications in computer vision, such as image/video segmentation and pattern classification. The major issue in subspace clustering is to obtain the ...
Qifa Ke, Takeo Kanade
CVPR
2008
IEEE
16 years 9 months ago
On errors-in-variables regression with arbitrary covariance and its application to optical flow estimation
Linear inverse problems in computer vision, including motion estimation, shape fitting and image reconstruction, give rise to parameter estimation problems with highly correlated ...
Björn Andres, Claudia Kondermann, Daniel Kond...