1547 search results - page 14 / 310 » The Isabelle Collections Framework |
CAISE
2008
Springer
13 years 9 months ago
2008
Springer
The importance and benefits of expertise sharing for organizations in knowledge economy are well recognized. However, the potential cost of expertise sharing is less well understoo...
KES
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper, we propose a framework for content collection and connection enabled by public large screens and mobile phones. Making people express their stories will en...
SCM
2003
13 years 9 months ago
2003
Abstract. Motivated by our work on object-oriented Content Management, this paper proposes an extensible formal framework for delta and merging strategies, each applicable to a spe...
COMMA
2010
13 years 2 months ago
2010
In this paper we define a recursive semantics for warrant in a general defeasible argumentation framework by formalizing a notion of collective (non-binary) conflict among argumen...
ISBI
2008
IEEE
14 years 8 months ago
2008
IEEE
An automated, level-set based, segmentation framework is proposed in this work for computation of tumoral volumes on mice brain bearing gliomal tumors. T1 and T2 weighted MRI imag...