6719 search results - page 115 / 1344 » A Generalization of Automatic Sequences |
NFM
2011
13 years 3 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
DCC
2006
IEEE
14 years 8 months ago
2006
IEEE
We present a simple and efficient entropy coder that combines run-length and Golomb-Rice encoders. The encoder automatically switches between the two modes according to simple rul...
PKDD
2009
Springer
14 years 3 months ago
2009
Springer
Unlike traditional game playing, General Game Playing is concerned with agents capable of playing classes of games. Given the rules of an unknown game, the agent is supposed to pla...
FGR
2008
IEEE
14 years 3 months ago
2008
IEEE
Accurately estimating the person’s head position and orientation is an important task for a wide range of applications such as driver awareness and human-robot interaction. Over...
PKDD
2007
Springer
14 years 3 months ago
2007
Springer
The number of specialized databases in molecular biology is growing fast, as is the availability of molecular data. These trends necessitate the development of automatic methods fo...