Sciweavers

1610 search results - page 235 / 322
» Matching object catalogues
Sort
View
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 9 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
JAMIA
2011
104views more  JAMIA 2011»
14 years 8 months ago
Metrics associated with NIH funding: a high-level view
Objective: To introduce the availability of grant-to-article linkage data associated with NIH grants and to perform a high-level analysis of the publication outputs and impacts as...
Kevin W. Boyack, Paul Jordan
215
Voted
CIARP
2011
Springer
14 years 5 months ago
Sentiment-Preserving Reduction for Social Media Analysis
Abstract. In this paper, we address the problem of opinion analysis using a probabilistic approach to the underlying structure of different types of opinions or sentiments around ...
Sergio Hernández, Philip Sallis
156
Voted
ICDAR
2011
IEEE
14 years 5 months ago
Script-Free Text Line Segmentation Using Interline Space Model for Printed Document Images
—This paper proposes a model-based text line segmentation algorithm for machine-printed document images. The model is based on geometric configuration which uses the interline sp...
Minwoo Kim, Il-Seok Oh
KDD
2012
ACM
242views Data Mining» more  KDD 2012»
13 years 8 months ago
Query-driven discovery of semantically similar substructures in heterogeneous networks
Heterogeneous information networks that contain multiple types of objects and links are ubiquitous in the real world, such as bibliographic networks, cyber-physical networks, and ...
Xiao Yu, Yizhou Sun, Peixiang Zhao, Jiawei Han