1547 search results - page 14 / 310 » The Isabelle Collections Framework |
120
Voted
CAISE
2008
Springer
15 years 5 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...
100
click to vote
KES
2009
Springer
15 years 10 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...
106
click to vote
SCM
2003
15 years 5 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...
153
Voted
COMMA
2010
14 years 10 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...
142
Voted
ISBI
2008
IEEE
16 years 4 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...