Sciweavers

5165 search results - page 713 / 1033
» Consistency of the Neighbor-Net Algorithm
Sort
View
ICRA
1993
IEEE
118views Robotics» more  ICRA 1993»
15 years 9 months ago
Hip Implant Insertability Analysis: A Medical Instance of the Peg-In-Hole Problem
cavity Recent advan.cesin cementless hip replacement surgery have significantly improved the accuracy of bone cavity preparation and custom implant shape design. With the increased...
Leo Joskowicz, Russell H. Taylor
LICS
1993
IEEE
15 years 9 months ago
Verifying Programs with Unreliable Channels
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
Parosh Aziz Abdulla, Bengt Jonsson
VLDB
1993
ACM
102views Database» more  VLDB 1993»
15 years 9 months ago
Local Disk Caching for Client-Server Database Systems
Client disks ure a valuable resource that ure not adequately exploited by current client-server ciatabasesystems.In this papeG we propose the use of client disksfor caching databa...
Michael J. Franklin, Michael J. Carey, Miron Livny
140
Voted
CEC
2007
IEEE
15 years 9 months ago
Evolving hypernetworks for pattern classification
Abstract-- Hypernetworks consist of a large number of hyperedges that represent higher-order features sampled from training patterns. Evolutionary algorithms have been used as a me...
Joo-Kyung Kim, Byoung-Tak Zhang
190
Voted
CEC
2007
IEEE
15 years 9 months ago
Mobile robot global localization using differential evolution and particle swarm optimization
For a mobile robot to move in a known environment and operate successfully, first it needs to robustly determine its initial position and orientation relative to the map, and then ...
Ali R. Vahdat, Naser NourAshrafoddin, Saeed Shiry ...