Sciweavers

5122 search results - page 220 / 1025
» Comparing Consequence Relations
Sort
View
IWPEC
2004
Springer
15 years 9 months ago
Computing Small Search Numbers in Linear Time
Let G = V; E be a graph. The linear-width of G is de ned as the smallest integer k such that E can be arranged in a linear ordering e1; : : : ; er such that for every i = 1; :...
Hans L. Bodlaender, Dimitrios M. Thilikos
MFCS
2004
Springer
15 years 9 months ago
Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets
We study constructive and resource-bounded scaled dimension as an information content measure and obtain several results that parallel previous work on unscaled dimension. Scaled ...
John M. Hitchcock, María López-Vald&...
HICSS
2003
IEEE
142views Biometrics» more  HICSS 2003»
15 years 9 months ago
Blackout Mitigation Assessment in Power Transmission Systems
Electric power transmission systems are a key infrastructure and blackouts of these systems have major direct and indirect consequences on the economy and national security. Analy...
Benjamin A. Carreras, Vickie E. Lynch, David E. Ne...
ICRA
2003
IEEE
159views Robotics» more  ICRA 2003»
15 years 9 months ago
Randomized manipulation planning for a multi-fingered hand by switching contact modes
Abstract— This paper presents a randomized manipulation planner for a multi-fingered hand by switching contact modes. Manipulation planning for such a system should consider cha...
Masahito Yashima, Yoshikazu Shiina, Hideya Yamaguc...
SSDBM
2003
IEEE
123views Database» more  SSDBM 2003»
15 years 9 months ago
MoBIoS: A Metric-Space DBMS to Support Biological Discovery
MoBIoS is a specialized database management system whose storage manager is based on metric-space indexing, and whose query language entails biological data types. When relational...
Daniel P. Miranker, Weijia Xu, Rui Mao