Sciweavers

5608 search results - page 958 / 1122
» Structure description tools
Sort
View
93
Voted
APLAS
2005
ACM
15 years 3 months ago
Using Datalog with Binary Decision Diagrams for Program Analysis
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
John Whaley, Dzintars Avots, Michael Carbin, Monic...
69
Voted
GROUP
2005
ACM
15 years 3 months ago
Design decisions in the RideNow project
The RideNow Project is designed to help individuals within a group or organization coordinate ad hoc shared rides. This paper describes three design decisions the RideNow team mad...
Rick Wash, Libby Hemphill, Paul Resnick
64
Voted
HT
2005
ACM
15 years 3 months ago
Advene: active reading through hypervideo
Active reading and hypermedia usage are an integral part of scholar daily practices, but the full exploitation of their potentialities still lies far ahead. In the search for new ...
Olivier Aubert, Yannick Prié
JCDL
2005
ACM
94views Education» more  JCDL 2005»
15 years 3 months ago
xTagger: a new approach to authoring document-centric XML
The process of authoring document-centric XML documents in humanities disciplines is very different from the approach espoused by the standard XML editing software with the data-c...
Ionut Emil Iacob, Alex Dekhtyar
MM
2005
ACM
157views Multimedia» more  MM 2005»
15 years 3 months ago
Natural language processing of lyrics
We report experiments on the use of standard natural language processing (NLP) tools for the analysis of music lyrics. A significant amount of music audio has lyrics. Lyrics enco...
Jose P. G. Mahedero, Alvaro Martinez, Pedro Cano, ...