1701 search results - page 66 / 341 » Computer Science and State Machines |
ICALT
2009
IEEE
15 years 4 months ago
2009
IEEE
A crucial challenge for improving EMLs is to provide an intuitive notation to support educational practitioners to not only understand, but also describe a large number of flexibl...
CAD
2004
Springer
14 years 9 months ago
2004
Springer
In this paper, a graphics hardware-assisted approach to 5-axis surface machining is presented that builds upon a tool positioning strategy named the Rolling Ball Method presented ...
GI
2001
Springer
15 years 2 months ago
2001
Springer
: As mobile and embedded computing devices become more pervasive, it is becoming obvious that the nature of interactions between users and computers must evolve. Applications need ...
MFCS
1993
Springer
15 years 1 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
107
click to vote
ITICSE
1996
ACM
15 years 2 months ago
1996
ACM
The operation of a computer can be conceptualised as a large, discrete and constantly changing set of state information. However even for the simplest uni-processor the data set o...