Results 1 - 10 of 3,670

Bike: Bilingual Keyphrase Experiments

by David Nadeau, Caroline Barrière, George Foster
"... Abstract: This paper presents a novel strategy for translating lists of keyphrases. Typical keyphrase lists appear in scientific articles, information retrieval systems and web page meta-data. Our system combines a statistical translation model trained on a bilingual corpus of scientific papers with ..."
Abstract - Add to MetaCart
Abstract: This paper presents a novel strategy for translating lists of keyphrases. Typical keyphrase lists appear in scientific articles, information retrieval systems and web page meta-data. Our system combines a statistical translation model trained on a bilingual corpus of scientific papers

Scalable molecular dynamics with NAMD.

by James C Phillips , Rosemary Braun , Wei Wang , James Gumbart , Emad Tajkhorshid , Elizabeth Villa , Christophe Chipot , Robert D Skeel , Laxmikant Kalé , Klaus Schulten - J Comput Chem , 2005
"... Abstract: NAMD is a parallel molecular dynamics code designed for high-performance simulation of large biomolecular systems. NAMD scales to hundreds of processors on high-end parallel platforms, as well as tens of processors on low-cost commodity clusters, and also runs on individual desktop and la ..."
Abstract - Cited by 849 (63 self) - Add to MetaCart
roadmap to the internal design of NAMD, implemented in Cϩϩ and based on Charmϩϩ parallel objects, are outlined. The factors affecting the serial and parallel performance of a simulation are discussed. Finally, typical NAMD use is illustrated with representative applications to a small, a medium, and a

Automatic predicate abstraction of C programs

by Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - IN PROC. ACM PLDI , 2001
"... Model checking has been widely successful in validating and debugging designs in the hardware and protocol domains. However, state-space explosion limits the applicability of model checking tools, so model checkers typically operate on abstractions of systems. Recently, there has been significant in ..."
Abstract - Cited by 488 (33 self) - Add to MetaCart
Model checking has been widely successful in validating and debugging designs in the hardware and protocol domains. However, state-space explosion limits the applicability of model checking tools, so model checkers typically operate on abstractions of systems. Recently, there has been significant

Learning Algorithms for Keyphrase Extraction

by Peter D. Turney - INFORMATION RETRIEVAL , 2000
"... Many academic journals ask their authors to provide a list of about five to fifteen keywords, to appear on the first page of each article. Since these key words are often phrases of two or more words, we prefer to call them keyphrases. There is a wide variety of tasks for which keyphrases are useful ..."
Abstract - Cited by 213 (3 self) - Add to MetaCart
Many academic journals ask their authors to provide a list of about five to fifteen keywords, to appear on the first page of each article. Since these key words are often phrases of two or more words, we prefer to call them keyphrases. There is a wide variety of tasks for which keyphrases

Disappearing Dividends: Changing Firm Characteristics or Lower Propensity to Pay?

by Eugene F. Fama, Eugene F. Fama, Kenneth R. French, Kenneth R. French, Andrei Shleifer, Paul Zarowin, Two Anonymous, Seminar Participants , 1999
"... The percent of firms paying cash dividends falls from 66.5 in 1978 to 20.8 in 1999. The decline is due in part to the changing characteristics of publicly traded firms. Fed by new lists, the population of publicly traded firms tilts increasingly toward small firms with low profitability and strong g ..."
Abstract - Cited by 382 (10 self) - Add to MetaCart
The percent of firms paying cash dividends falls from 66.5 in 1978 to 20.8 in 1999. The decline is due in part to the changing characteristics of publicly traded firms. Fed by new lists, the population of publicly traded firms tilts increasingly toward small firms with low profitability and strong

Holistic twig joins: optimal XML pattern matching

by Nicolas Bruno, Nick Koudas, Divesh Srivastava - in: Proceedings of ACM SIGMOD International Conference on Management of Data, 2002
"... XML employs a tree-structured data model, and, naturally, XML queries specify patterns of selection predicates on multiple elements related by a tree structure. Finding all occurrences of such a twig pattern in an XML database is a core operation for XML query processing. Prior work has typically de ..."
Abstract - Cited by 344 (8 self) - Add to MetaCart
XML employs a tree-structured data model, and, naturally, XML queries specify patterns of selection predicates on multiple elements related by a tree structure. Finding all occurrences of such a twig pattern in an XML database is a core operation for XML query processing. Prior work has typically

Is information risk a determinant of asset returns

by David Easley, Soeren Hvidkjaer - Journal of Finance , 2002
"... We investigate the role of information-based trading in affecting asset returns. We show in a rational expectation example how private information affects equilibrium asset returns. Using a market microstructure model, we derive a measure of the probability of information-based trading, and we estim ..."
Abstract - Cited by 311 (13 self) - Add to MetaCart
estimate this measure using data for individual NYSE-listed stocks for 1983 to 1998. We then incorporate our estimates into a Fama and French ~1992! asset-pricing framework. Our main result is that information does affect asset prices. A difference of 10 percentage points in the probability of information

Functional Data Structures

by Chris Okasaki , 1996
"... this paper. Note that the cons operation supplied by this library is strict, not lazy. In fact, the only lazy operations in this library are ++ (infix append) and reverse. 2 FIFO Queues Stacks and queues are usually the first two data structures studied by beginning computer science students. The ty ..."
Abstract - Cited by 283 (4 self) - Add to MetaCart
. The typical imperative implementation of (unbounded) stacks as linked lists translates very naturally to a functional setting. However, the typical imperative implementation of (unbounded) queues as linked lists does not because it uses destructive updates at the end of the list. Thus, queues are perhaps

View-dependent simplification of arbitrary polygonal environments

by David Luebke, Carl Erikson , 1997
"... Hierarchical dynamic simplification (HDS) is a new approach to the problem of simplifying arbitrary polygonal environments. HDS operates dynamically, retessellating the scene continuously as the user’s viewing position shifts, and adaptively, processing the entire database without first decomposing ..."
Abstract - Cited by 286 (15 self) - Add to MetaCart
vertex cluster occupies less than a user-specified amount of the screen, all vertices within that cluster are collapsed together and degenerate polygons filtered out. HDS maintains an active list of visible polygons for rendering. Since frame-to-frame movements typically involve small changes

ROAMing Terrain: Real-time Optimally Adapting Meshes

by Mark Duchaineau , Murray Wolinsky, David E. Sigeti, Mark C. Miller , Charles Aldrich, Mark B. Mineev-Weinstein , 1997
"... Terrain visualization is a difficult problem for applications requiring accurate images of large datasets at high frame rates, such as flight simulation and ground-based aircraft testing using synthetic sensor stimulation. On current graphics hardware, the problem is to maintain dynamic, view-depend ..."
Abstract - Cited by 287 (10 self) - Add to MetaCart
additional performance optimizations: incremental triangle stripping and prioritycomputation deferral lists. ROAM execution time is proportionate to the number of triangle changes per frame, which is typically a few percent of the output mesh size, hence ROAM performance is insensitive to the resolution
Results 1 - 10 of 3,670