3299 search results - page 216 / 660 » A general mathematics of names |
169
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
294
click to vote
COMPGEOM
2011
ACM
14 years 10 months ago
2011
ACM
We present a new algorithm for computing zigzag persistent homology, an algebraic structure which encodes changes to homology groups of a simplicial complex over a sequence of sim...
203
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
We present an analysis of user conversations in on-line social media and their evolution over time. We propose a dynamic model that predicts the growth dynamics and structural pro...
169
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Say you are looking for information about a particular person. A search engine returns many pages for that person's name but which pages are about the person you care about, ...
179
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
To enable information integration, schema matching is a critical step for discovering semantic correspondences of attributes across heterogeneous sources. While complex matchings ...