Sciweavers

877 search results - page 20 / 176
» Annotated Revision Programs
Sort
View
EOR
2010
140views more  EOR 2010»
13 years 6 months ago
Cutting plane algorithms for 0-1 programming based on cardinality cuts
: We present new valid inequalities for 0-1 programming problems that work in similar ways to well known cover inequalities. Discussion and analysis of these cuts is followed by th...
Osman Oguz
ESORICS
2006
Springer
14 years 28 days ago
Discretionary Capability Confinement
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...
Philip W. L. Fong
JSS
2007
115views more  JSS 2007»
13 years 9 months ago
A case study in re-engineering to enforce architectural control flow and data sharing
Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recen...
Marwan Abi-Antoun, Jonathan Aldrich, Wesley Coelho
BMCBI
2004
148views more  BMCBI 2004»
13 years 9 months ago
Bioinformatics analysis of SARS coronavirus genome polymorphism
Background: We have compared 38 isolates of the SARS-CoV complete genome. The main goal was twofold: first, to analyze and compare nucleotide sequences and to identify positions o...
Gordana Pavlovic-Lazetic, Nenad S. Mitic, Milos V....
ACL
2006
13 years 10 months ago
The Second Release of the RASP System
We describe the new release of the RASP (robust accurate statistical parsing) system, designed for syntactic annotation of free text. The new version includes a revised and more s...
Ted Briscoe, John Carroll, Rebecca Watson