Sciweavers

5608 search results - page 147 / 1122
» On the Theory of Matchgate Computations
Sort
View
142
Voted
MRCO
2005
Springer
15 years 7 months ago
Using Activity Theory to Model Context Awareness
Abstract. One of the cornerstones of any intelligent entity is the ability to understand how occurrences in the surrounding world influence its own behaviour. Different states, o...
Anders Kofod-Petersen, Jörg Cassens
SIGCSE
2004
ACM
100views Education» more  SIGCSE 2004»
15 years 7 months ago
A visual and interactive automata theory course with JFLAP 4.0
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
Ryan Cavalcante, Thomas Finley, Susan H. Rodger
BIRTHDAY
2009
Springer
15 years 6 months ago
Pervasive Theory of Memory
For many aspects of memory theoretical treatment already exists, in particular for: simple cache construction, store buers and store buer forwarding, cache coherence protocols, o...
Ulan Degenbaev, Wolfgang J. Paul, Norbert Schirmer
SIGCSE
1999
ACM
145views Education» more  SIGCSE 1999»
15 years 6 months ago
Using JFLAP to interact with theorems in automata theory
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback...
Eric Gramond, Susan H. Rodger
TACS
1994
Springer
15 years 5 months ago
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
Douglas J. Howe, Scott D. Stoller