Sciweavers

1887 search results - page 36 / 378
» Annotation Framework Validation Using Domain Models
Sort
View
120
Voted
ACTA
2002
86views more  ACTA 2002»
15 years 2 months ago
Deriving and paraphrasing information grammars using object-oriented analysis models
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...
Paul J. M. Frederiks, Theo P. van der Weide
109
Voted
LREC
2010
143views Education» more  LREC 2010»
15 years 3 months ago
A Flexible Representation of Heterogeneous Annotation Data
This paper describes a new flexible representation for the annotation of complex structures of metadata over heterogeneous data collections containing text and other types of medi...
Richard Johansson, Alessandro Moschitti
112
Voted
MODELS
2009
Springer
15 years 8 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
141
Voted
JBCB
2010
138views more  JBCB 2010»
14 years 9 months ago
Hierarchical Classification of Gene Ontology Terms Using the Gostruct Method
Protein function prediction is an active area of research in bioinformatics. And yet, transfer of annotation on the basis of sequence or structural similarity remains widely used ...
Artem Sokolov, Asa Ben-Hur
122
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
Validating the Unit Correctness of Spreadsheet Programs
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...
Tudor Antoniu, Paul A. Steckler, Shriram Krishnamu...