3133 search results - page 68 / 627 » Difference systems of sets and cyclotomy |
FUIN
2010
14 years 7 months ago
2010
In this paper we study decidability of several extensions of P/T nets with name creation and/or replication. In particular, we study how to restrict the models of RN systems (P/T n...
SIAMCO
2010
14 years 4 months ago
2010
We study a simple continuous-time multiagent system related to Krause's model of opinion dynamics: each agent holds a real value, and this value is continuously attracted by e...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
—Network coordinates (NC) system is an efficient mechanism for Internet distance prediction with limited measurements. In this paper, we identify the intrinsical cause for the i...
TSD
2000
Springer
15 years 1 months ago
2000
Springer
In this article, we present a test environment for a word analysis system that is used for reliable and sense-conveying hyphenation of German words. A crucial task is the hyphenati...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...