471 search results - page 56 / 95 » Case studies for self-organization in computer science |
FCT
2009
Springer
14 years 3 months ago
2009
Springer
Entanglement is a complexity measure for directed graphs that was used to show that the variable hierarchy of the propositional modal µ-calculus is strict. While graphs of entangl...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
This paper presents a semantic portal, SEMPort, which provides better user support with personalized views, semantic navigation, ontology-based search and three different kinds of...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Understanding the dynamics of technology evolution—whether for the purposes of forecasting new product or technology infrastructure developments, or identifying the basis for fu...
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...