Sciweavers

589 search results - page 116 / 118
» A Language for Multi-dimensional Updates
Sort
View
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
13 years 6 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
BMCBI
2008
102views more  BMCBI 2008»
13 years 6 months ago
Monitoring the evolutionary aspect of the Gene Ontology to enhance predictability and usability
Background: Much effort is currently made to develop the Gene Ontology (GO). Due to the dynamic nature of information it addresses, GO undergoes constant updates whose results are...
Jong C. Park, Tak-eun Kim, Jinah Park
BMCBI
2008
153views more  BMCBI 2008»
13 years 6 months ago
How to make the most of NE dictionaries in statistical NER
Background: When term ambiguity and variability are very high, dictionary-based Named Entity Recognition (NER) is not an ideal solution even though large-scale terminological reso...
Yutaka Sasaki, Yoshimasa Tsuruoka, John McNaught, ...
CORR
2008
Springer
114views Education» more  CORR 2008»
13 years 6 months ago
Temporal Support of Regular Expressions in Sequential Pattern Mining
Classic algorithms for sequential pattern discovery, return all frequent sequences present in a database. Since, in general, only a few ones are interesting from a user's poin...
Leticia I. Gómez, Bart Kuijpers, Alejandro ...
CPHYSICS
2007
222views more  CPHYSICS 2007»
13 years 6 months ago
JADAMILU: a software code for computing selected eigenvalues of large sparse symmetric matrices
A new software code for computing selected eigenvalues and associated eigenvectors of a real symmetric matrix is described. The eigenvalues are either the smallest or those closes...
Matthias Bollhöfer, Yvan Notay