Sciweavers

5205 search results - page 313 / 1041
» Tilings and model theory
Sort
View
194
Voted
CP
2009
Springer
16 years 1 months ago
Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each ...
Sophie Huczynska, Paul McKay, Ian Miguel, Peter Ni...
95
Voted
QSIC
2009
IEEE
15 years 7 months ago
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
Valentin Chimisliu, Christian Schwarzl, Bernhard P...
100
Voted
SARA
2009
Springer
15 years 7 months ago
Modelling Equidistant Frequency Permutation Arrays in Constraints
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each...
Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightin...
79
Voted
ICRA
2008
IEEE
146views Robotics» more  ICRA 2008»
15 years 7 months ago
Visual servoing based on Gaussian mixture models
— In this paper we present a novel approach to robust visual servoing. This method removes the feature tracking step from a typical visual servoing algorithm. We do not need corr...
A. H. Abdul Hafez, Supreeth Achar, C. V. Jawahar
103
Voted
ICRA
2005
IEEE
194views Robotics» more  ICRA 2005»
15 years 6 months ago
Modeling of Haptic Sensing of Nanolithography with an Atomic Force Microscope
- This paper describes a virtual reality interface between human and the Atomic Force Microscope (AFM), which allows the operator to perform nanomanipulation with an AFM tip in the...
Lo Ming Fok, Yun-Hui Liu, Wen J. Li