1222 search results - page 143 / 245 » Some Results on Directable Automata |
FOCS
2006
IEEE
15 years 4 months ago
2006
IEEE
The “analyst’s traveling salesman theorem” of geometric measure theory characterizes those subsets of Euclidean space that are contained in curves of finite length. This re...
HASKELL
2006
ACM
15 years 4 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
CICLING
2003
Springer
15 years 3 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
ECIS
2000
14 years 11 months ago
2000
Abstract - The Internet appears to playing a role in the restructuring of some traditional business sectors in which some organisations profit and some decline. Travel agencies are...
SPE
1998
14 years 9 months ago
1998
This paper describes some basic experiments to see how fast various popular scripting and user-interface languages run on a spectrum of representative tasks. We found enormous var...