Sciweavers

5326 search results - page 696 / 1066
» On what we can ensure
Sort
View
ENTCS
2006
160views more  ENTCS 2006»
15 years 6 months ago
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
Feng Chen, Marcelo d'Amorim, Grigore Rosu
ASE
2005
91views more  ASE 2005»
15 years 6 months ago
Deviation Analysis: A New Use of Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...
NAR
2007
102views more  NAR 2007»
15 years 6 months ago
ProtSweep, 2Dsweep and DomainSweep: protein analysis suite at DKFZ
The wealth of transcript information that has been made publicly available in recent years has led to large pools of individual web sites offering access to bioinformatics softwar...
Coral del Val, Peter Ernst, Mechthild Falkenhahn, ...
184
Voted
TGIS
2010
107views more  TGIS 2010»
15 years 5 months ago
Spatial Planning on the Semantic Web
Land use regulations are an important but often underrated legal domain. In densely populated regions such as the Netherlands, spatial plans have a profound impact on both (local) ...
Rinke Hoekstra, Radboud Winkels, Erik Hupkes
TSD
2010
Springer
15 years 5 months ago
Towards an N-Version Dependency Parser
Abstract. Maltparser is a contemporary dependency parsing machine learningbased system that shows great accuracy. However 90% for Labelled Attachment Score (LAS) seems to be a de f...
Miguel Ballesteros, Jesús Herrera, Virginia...