7988 search results - page 122 / 1598 » A Useful Undecidable Theory |
116
click to vote
UC
2009
Springer
15 years 9 months ago
2009
Springer
The paper surveys the fundamental principles of evolvable hardware, introduces main problems of the field and briefly describes the most successful applications. Although evolvab...
109
click to vote
ICALT
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents how a new teaching method in the way that a queuing theory and systems modeling or simulation course can be done, was evaluated by the teachers and the student...
138
click to vote
AOSE
2003
Springer
15 years 8 months ago
2003
Springer
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...
104
Voted
TACS
2001
Springer
15 years 7 months ago
2001
Springer
Decidability of non-structural subtype entailment is a long standing open problem in programming language theory. In this paper, we apply automata theoretic methods to characterize...
103
click to vote
ISSAC
1998
Springer
15 years 7 months ago
1998
Springer
The subresultant theory for univariate commutative polynomials is generalized to Ore polynomials. The generalization includes: the subresultant theorem, gap structure, and subresu...