Sciweavers

3941 search results - page 309 / 789
» Computational Efficiency of Batching Methods
Sort
View
ICRA
2005
IEEE
122views Robotics» more  ICRA 2005»
16 years 26 days ago
Shape, Motion, and Parameter Estimation of Large Flexible Space Structures using Range Images
– Future space missions are expected to use robotic systems to assemble, inspect, and maintain large space structures in orbit. To carry out these tasks, robots need to know the ...
Matthew D. Lichter, Steven Dubowsky
DASFAA
2009
IEEE
147views Database» more  DASFAA 2009»
15 years 11 months ago
MCN: A New Semantics Towards Effective XML Keyword Search
We investigate the expressiveness of existing XML keyword search semantics and propose Meaningful Connected Network (MCN) as a new semantics to capture meaningful relationships of ...
Junfeng Zhou, Zhifeng Bao, Tok Wang Ling, Xiaofeng...
EUROMICRO
2004
IEEE
15 years 11 months ago
Determination of Aggregation Points in Wireless Sensor Networks
A primary goal in the design of wireless sensor networks is lifetime maximization, constrained by the energy capacity of batteries. One well known method to reduce energy consumpt...
Utz Roedig, André M. Barroso, Cormac J. Sre...
FORMATS
2006
Springer
15 years 11 months ago
Model Checking Timed Automata with Priorities Using DBM Subtraction
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...
Alexandre David, John Håkansson, Kim Guldstr...
TACS
1997
Springer
15 years 10 months ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori