6719 search results - page 260 / 1344 » A Generalization of Automatic Sequences |
PPDP
2009
Springer
14 years 5 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
CODES
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper proposes a new efficient buffer management technique called shift buffering for automatic code synthesis from synchronous dataflow graphs (SDF). Two previous buffer man...
PLDI
2005
ACM
14 years 4 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
SAC
2005
ACM
14 years 4 months ago
2005
ACM
A great jump towards the advent of the Semantic Web will take place when a critical mass of web resources is available for use in a semantic way. This goal can be reached by the c...
ICCV
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper we develop a system for human behaviour recognition in video sequences. Human behaviour is modelled as a stochastic sequence of actions. Actions are described by a f...