Sciweavers

726 search results - page 69 / 146
» A survey of Web metrics
Sort
View
CALCO
2009
Springer
150views Mathematics» more  CALCO 2009»
14 years 2 months ago
Approximating Labelled Markov Processes Again!
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
Philippe Chaput, Vincent Danos, Prakash Panangaden...
ER
2005
Springer
134views Database» more  ER 2005»
14 years 1 months ago
Spatial Relations for Semantic Similarity Measurement
Measuring semantic similarity among concepts is the core method for assessing the degree of semantic interoperability within and between ontologies. In this paper, we propose to ex...
Angela Schwering, Martin Raubal
IPPS
2000
IEEE
14 years 15 days ago
A Requirements Analysis for Parallel KDD Systems
Abstract. The current generation of data mining tools have limited capacity and performance, since these tools tend to be sequential. This paper explores a migration path out of th...
William Maniatty, Mohammed Javeed Zaki
ETVC
2008
13 years 10 months ago
Discrete Curvature Flows for Surfaces and 3-Manifolds
Intrinsic curvature flows can be used to design Riemannian metrics by prescribed curvatures. This chapter presents three discrete curvature flow methods that are recently introduce...
Xiaotian Yin, Miao Jin, Feng Luo 0002, Xianfeng Da...
ACE
2004
200views Education» more  ACE 2004»
13 years 9 months ago
Static Analysis of Students' Java Programs
A recent industry survey (Townhidnejad and Hilburn, 2002) has reported that more than fifty percent of a software project's budget is spent on activities related to improving...
Nghi Truong, Paul Roe, Peter Bancroft