4629 search results - page 217 / 926 » Space Kernel Analysis |
165
click to vote
ENTCS
2007
15 years 6 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
172
click to vote
JPDC
1998
15 years 6 months ago
1998
This paper presents an optical interconnect model for k-ary n-cube network topologies based on freespace analysis. This model integrates relevant parameters inherent to optics wit...
203
click to vote
CGF
2010
15 years 6 months ago
2010
Spatiotemporal data pose serious challenges to analysts in geographic and other domains. Owing to the complexity of the geospatial and temporal components, this kind of data canno...
168
click to vote
COMPGEOM
2010
ACM
15 years 10 months ago
2010
ACM
Normal surface theory is a central tool in algorithmic threedimensional topology, and the enumeration of vertex normal surfaces is the computational bottleneck in many important a...
165
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
The standard SVM formulation for binary classification is based on the Hinge loss function, where errors are considered not correlated. Due to this, local information in the featu...