2373 search results - page 93 / 475 » On the Theory of Structural Subtyping |
176
click to vote
TVCG
2012
13 years 8 months ago
2012
—The Morse-Smale complex is a useful topological data structure for the analysis and visualization of scalar data. This paper describes an algorithm that processes all mesh eleme...
151
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
A theory of traces of computations has emerged within the field of coalgebra, via finality in Kleisli categories. In concurrency theory, traces are traditionally obtained from ex...
186
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Rational graphs are a family of graphs defined using labelled rational transducers. Unlike automatic graphs (defined using synchronized transducers) the first order theory of these...
153
click to vote
ECIS
2003
15 years 7 months ago
2003
This paper proposes a study of the effects of knowledge management systems (KMS) on individual and organizational performance. The study seeks to answer the following question: Wh...
254
click to vote
PRIB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Supervised classifiers require manually labeled training samples to classify unlabeled objects. Active Learning (AL) can be used to selectively label only “ambiguous...