Sciweavers

7311 search results - page 196 / 1463
» Time in State Machines
Sort
View
141
Voted
ICRA
2010
IEEE
202views Robotics» more  ICRA 2010»
15 years 3 months ago
A robust state estimation method against GNSS outage for unmanned miniature helicopters
Abstract— Most unmanned aerial robots use a Global Navigation Satellite System (GNSS), such as GPS, GLONASS, and Galileo, for their navigation. However, from time to time the GNS...
Tak-Kit Lau, Yun-hui Liu, Kai-wun Lin
FORTE
2010
15 years 6 months ago
Forgetting the Time in Timed Process Algebra
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
Anton Wijs
ICLP
2010
Springer
15 years 8 months ago
Efficient Solving of Time-dependent Answer Set Programs
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...
Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chri...
ESA
2006
Springer
77views Algorithms» more  ESA 2006»
15 years 8 months ago
Traversing the Machining Graph
Abstract. Zigzag pocket machining (or 2D-milling) plays an important role in the manufacturing industry. The objective is to minimize the number of tool retractions in the zigzag m...
Danny Z. Chen, Rudolf Fleischer, Jian Li, Haitao W...
ICC
2007
IEEE
118views Communications» more  ICC 2007»
15 years 11 months ago
Analysis of Timing Error Detectors for Orthogonal Space-Time Block Codes
Abstract—We analyze the properties of a class of low complexity timing error detectors for the purpose of timing error tracking in orthogonal space-time block coding receivers. F...
Pawel A. Dmochowski, Peter J. McLane