Sciweavers

1153 search results - page 56 / 231
» The Complexity of Revision, Revised
Sort
View
SIGPLAN
1998
14 years 9 months ago
Revised5 Report on the Algorithmic Language Scheme
Richard Kelsey, William D. Clinger, Jonathan Rees
LREC
2010
156views Education» more  LREC 2010»
14 years 8 months ago
A Description of Morphological Features of Serbian: a Revision using Feature System Declaration
In this paper we discuss some well-known morphological descriptions used in various projects and applications (most notably MULTEXT-East and Unitex) and illustrate the encountered...
Cvetana Krstev, Ranka Stankovic, Dusko Vitas
OOPSLA
2010
Springer
14 years 8 months ago
Concurrent programming with revisions and isolation types
Sebastian Burckhardt, Alexandro Baldassin, Daan Le...
CORR
2011
Springer
151views Education» more  CORR 2011»
14 years 4 months ago
Temporal Probabilistic Logic Programs: State and Revision
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
Zoran Majkic
NAR
2010
174views more  NAR 2010»
14 years 4 months ago
BeetleBase in 2010: revisions to provide comprehensive genomic information for Tribolium castaneum
BeetleBase (http://www.beetlebase.org) has been updated to provide more comprehensive genomic information for the red flour beetle Tribolium castaneum. The database contains genom...
Hee Shin Kim, Terence Murphy, Jing Xia, Doina Cara...