2741 search results - page 180 / 549 » Engineering Mathematical Knowledge |
166
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
122
click to vote
AISC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
114
Voted
CG
2002
Springer
15 years 3 months ago
2002
Springer
The difficulty to write successful 19x19 go programs lies not only in the combinatorial complexity of go but also in the complexity of designing a good evaluation function containi...
105
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...
112
click to vote
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
Designers need guidance in tracing knowledge to support the iterative development of interactive software interfaces. Claims show promise in capturing design knowledge with concis...