Sciweavers

3179 search results - page 447 / 636
» Applications of PCF Theory
Sort
View
ICARCV
2006
IEEE
126views Robotics» more  ICARCV 2006»
14 years 3 months ago
Developments in Snake Robot Modeling and Locomotion
— Snake robots may one day play a crucial role in search and rescue operations and fire-fighting where it may either be too narrow or to dangerous for personnel to operate. Pro...
Aksel Andreas Transeth, Kristin Ytterstad Petterse...
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
14 years 3 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
ICMCS
2006
IEEE
145views Multimedia» more  ICMCS 2006»
14 years 3 months ago
A New Study on Distance Metrics as Similarity Measurement
Distance metric is widely used in similarity estimation. In this paper we find that the most popular Euclidean and Manhattan distance may not be suitable for all data distribution...
Jie Yu, Jaume Amores, Nicu Sebe, Qi Tian
ICNP
2006
IEEE
14 years 3 months ago
Robust Path-Vector Routing Despite Inconsistent Route Preferences
— Some commonly used inter-domain-routing policies—e.g., those using BGP’s MED attribute for cold-potato routing—are beyond the scope of routing theory developed to date. T...
Aaron D. Jaggard, Vijay Ramachandran
ICPP
2006
IEEE
14 years 3 months ago
Designing Multithreaded Algorithms for Breadth-First Search and st-connectivity on the Cray MTA-2
stractions are extensively used to understand and solve challenging computational problems in various scientific and engineering domains. They have particularly gained prominence...
David A. Bader, Kamesh Madduri