2909 search results - page 141 / 582 » Consistency of the theory of contexts |
166
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
152
click to vote
DLT
2004
15 years 7 months ago
2004
Abstract. We investigate the generative power of cooperating distributed grammar systems (CDGSs), if the cooperation protocol is based on the level of competence on the underlying ...
188
click to vote
ECBS
2007
IEEE
16 years 22 days ago
2007
IEEE
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
139
click to vote
IV
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper discusses the history of domain maps in the context of similar developments in the field of cartography. Drawing from its underlying definitions, this paper identifies ...
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Behavioural theory is typically developed on the double time axis. On the other hand it is known that there are intrinsic difficulties with double time axis theorems in the in...