Sciweavers

1485 search results - page 45 / 297
» Group-Induced Vector Spaces
Sort
View
AMAST
1991
Springer
14 years 1 months ago
Event Spaces and their Linear Logic
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...
Vaughan R. Pratt
ICMCS
2007
IEEE
127views Multimedia» more  ICMCS 2007»
14 years 4 months ago
Robust Parking Space Detection Considering Inter-Space Correlation
A major problem in metropolitan areas is searching for parking spaces. In this paper, we propose a novel method for parking space detection. Given input video captured by a camera...
Qi Wu, Chingchun Huang, Shih-yu Wang, Wei-chen Chi...
ACS
2007
13 years 10 months ago
A Topologist's View of Chu Spaces
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
Eraldo Giuli, Walter Tholen
TIP
2002
134views more  TIP 2002»
13 years 9 months ago
Curvature of n-dimensional space curves in grey-value images
Local curvature represents an important shape parameter of space curves which are well described by differential geometry. We have developed an estimator for local curvature of spa...
Bernd Rieger, Lucas J. van Vliet
PODS
1998
ACM
152views Database» more  PODS 1998»
14 years 2 months ago
A Cost Model for Similarity Queries in Metric Spaces
We consider the problem of estimating CPU (distance computations) and I/O costs for processing range and k-nearest neighbors queries over metric spaces. Unlike the specific case ...
Paolo Ciaccia, Marco Patella, Pavel Zezula