Sciweavers

236 search results - page 23 / 48
» How documentation evolves over time
Sort
View
AC
2005
Springer
13 years 7 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
ICDM
2010
IEEE
158views Data Mining» more  ICDM 2010»
13 years 5 months ago
Patterns on the Connected Components of Terabyte-Scale Graphs
How do connected components evolve? What are the regularities that govern the dynamic growth process and the static snapshot of the connected components? In this work, we study pat...
U. Kang, Mary McGlohon, Leman Akoglu, Christos Fal...
HICSS
1998
IEEE
139views Biometrics» more  HICSS 1998»
13 years 11 months ago
Annotation and Segmentation for Multimedia Indexing and Retrieval
In this paper we describe a method for indexing and retrieval of multimedia data based on annotation and segmentation. Our goal is the retrieval of segments of audio and video sui...
Lynn Wilcox, John S. Boreczky
AI
2004
Springer
14 years 28 days ago
Knowledge Provenance
Knowledge Provenance (KP) is proposed to address the problem of how to determine the validity and origin of web information by introducing standards and methods for modeling and ma...
Mark S. Fox, Jingwei Huang
SDM
2007
SIAM
143views Data Mining» more  SDM 2007»
13 years 9 months ago
Patterns of Cascading Behavior in Large Blog Graphs
How do blogs cite and influence each other? How do such links evolve? Does the popularity of old blog posts drop exponentially with time? These are some of the questions that we ...
Jure Leskovec, Mary McGlohon, Christos Faloutsos, ...