Sciweavers

279 search results - page 22 / 56
» The Rise and Rise of Citation Analysis
Sort
View
ESWS
2009
Springer
15 years 4 months ago
SCOVO: Using Statistics on the Web of Data
Statistical data is present everywhere—from governmental bodies to economics, from life-science to industry. With the rise of the Web of Data, the need for sharing, accessing, an...
Michael Hausenblas, Wolfgang Halb, Yves Raimond, L...
CSCW
2002
ACM
14 years 10 months ago
NetWORKers and their Activity in Intensional Networks
Through ethnographic research, we document the rise of personal social networks in the workplace, which we call intensional networks. Paradoxically, we find that the most fundament...
Bonnie A. Nardi, Steve Whittaker, Heinrich Schwarz
ICDAR
2009
IEEE
15 years 4 months ago
Information Extraction from Multimodal ECG Documents
With the rise of tools for clinical decision support, there is an increased need for automatic processing of electrocardiograms (ECG) documents. In fact, many systems have already...
Fei Wang, Tanveer Fathima Syeda-Mahmood, David Bey...
83
Voted
TPHOL
2008
IEEE
15 years 4 months ago
Nominal Inversion Principles
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
Stefan Berghofer, Christian Urban
101
Voted
AMAST
2008
Springer
15 years 5 days ago
Towards an Efficient Implementation of Tree Automata Completion
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
Emilie Balland, Yohan Boichut, Thomas Genet, Pierr...