Sciweavers

636 search results - page 8 / 128
» Understanding knowledge as a commons: From theory to practic...
Sort
View
GECCO
2005
Springer
149views Optimization» more  GECCO 2005»
15 years 5 months ago
There's more to a model than code: understanding and formalizing in silico modeling experience
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
Janet Wiles, Nicholas Geard, James Watson, Kai Wil...
IMPERIAL
1993
15 years 3 months ago
Deriving Category Theory from Type Theory
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
Roy L. Crole
POPL
2004
ACM
15 years 12 months ago
Formalization of generics for the .NET common language runtime
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
Dachuan Yu, Andrew Kennedy, Don Syme
EKAW
2010
Springer
14 years 10 months ago
Practical Considerations on Identity for Instance Management in Ontological Investigation
For knowledge representation based on ontology and its use, it is desirable to understand phenomena in the target world as precisely and deeply as possible. The ontology should ref...
Kouji Kozaki, Satoshi Endo, Riichiro Mizoguchi
HICSS
2010
IEEE
156views Biometrics» more  HICSS 2010»
15 years 4 months ago
Tacit Knowledge Flows and Institutional Theory: Accelerating Acculturation
Knowledge is key to sustainable competitive advantage, but different kinds of knowledge affect competitive advantage differently. This applies especially to the environment of inc...
Alicemary Aspell Adams, June G. Chin Yi Lee, Mark ...