2664 search results - page 206 / 533 » Theory of processes |
149
click to vote
ISCI
1998
15 years 5 months ago
1998
This paper presents a method for updating approximations of a concept incrementally. The results can be used to implement a quasi-incremental algorithm for learning classification...
178
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
The research aim of this paper is to represent everydaylife patterns of thought like "Because I know, what you think I think ..." by a process on a machine, which is inv...
182
click to vote
WOLLIC
2010
Springer
15 years 4 months ago
2010
Springer
We provide a formalisation of the theory of pushdown automata (PDAs) using the HOL4 theorem prover. It illustrates how provers such as HOL can be used for mechanising complicated p...
163
click to vote
CHI
2009
ACM
15 years 3 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
155
click to vote
HICSS
2008
IEEE
16 years 12 days ago
2008
IEEE
1 Shared understandings are important for software development as they guide to effective individual contributions to, and coordination of, the software development process. In thi...