4328 search results - page 350 / 866 » A New Kind of Science |
202
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
197
click to vote
FCT
2009
Springer
16 years 1 months ago
2009
Springer
Despite of their applicability betweennness constraints have (to the author’s knowledge) hardly been considered from the random structures point of view. They are essentially di...
193
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
196
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This article identifies two significant challenges in implementing Knowledge Management Systems (KMS), then, proposes solutions based on information economics. A knowledge market ...
180
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a methodology to engineer services in real-time information environments. We evaluate, combine and enrich traditional techniques and methodologies such as New Product D...