Sciweavers

4211 search results - page 550 / 843
» Types as Abstract Interpretations
Sort
View
CEC
2007
IEEE
16 years 27 days ago
An evolutionary progressive multiple sequence alignment
Abstract This paper presents a new evolutionary method, namely, a Two Phase evolutionary algorithm for multiple sequence alignments. This method is composed of different types of e...
Farhana Naznin, Morikazu Nakamura, Takeo Okazaki, ...
DASFAA
2007
IEEE
141views Database» more  DASFAA 2007»
16 years 27 days ago
CST-Trees: Cache Sensitive T-Trees
Abstract. Researchers have modified existing index structures into ones optimized for CPU cache performance in main memory database environments. A Cache Sensitive B+-Tree is one o...
Ig-hoon Lee, Junho Shim, Sang-goo Lee, Jonghoon Ch...
ICON
2007
IEEE
16 years 26 days ago
Definition and Implementation of Logical Function Blocks Compliant to ForCES Specification
—IETF ForCES (Forwarding and Control Element Separation) is defining specifications for interfaces and modular resources abstractions in open programmable network equipments. Acc...
Ligang Dong, Fenggen Jia, Weiming Wang
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
16 years 26 days ago
Improvement of the Odometry Accuracy of a Crawler Vehicle with Consideration of Slippage
Abstract— Crawler mechanisms have the advantage of stable navigation on uneven terrain; as a result, such mechanisms have been adopted for many types of locomotion of outdoor rob...
Keiji Nagatani, Daisuke Endo, Kazuya Yoshida
INFOCOM
2007
IEEE
16 years 25 days ago
Fundamental Complexity of Optical Systems
Abstract—It is often claimed that future systems will necessarily be all-optical, because electronic devices are not fast enough to keep up with the increase in fiber capacity. ...
Hadas Kogan, Isaac Keslassy