Sciweavers

6650 search results - page 214 / 1330
» models 2009
Sort
View
ICRA
2009
IEEE
123views Robotics» more  ICRA 2009»
16 years 1 months ago
On the kinematic modeling and control of a mobile platform equipped with steering wheels and movable legs
— Mobile platforms equipped with several steering wheels are known to be omnidirectional, i.e., able to independently translate and rotate on the plane. As an improvement to this...
Paolo Robuffo Giordano, Matthias Fuchs, Alin Albu-...
ICSM
2009
IEEE
16 years 1 months ago
Predicting change impact from logical models
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
Sunny Wong, Yuanfang Cai
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 1 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
WASA
2009
Springer
165views Algorithms» more  WASA 2009»
16 years 1 months ago
Maximum Independent Set of Links under Physical Interference Model
This paper addresses the following optimization problem in a plane multihop wireless networks under the physical interference model: From a given a set of communication links whose...
Peng-Jun Wan, Xiaohua Jia, F. Frances Yao
CIKM
2009
Springer
16 years 1 months ago
Automatic generation of topic pages using query-based aspect models
We investigate the automatic generation of topic pages as an alternative to the current Web search paradigm. We describe a general framework, which combines query log analysis to ...
Niranjan Balasubramanian, Silviu Cucerzan