Sciweavers

3212 search results - page 492 / 643
» Definition and modeling of process using object orientation
Sort
View
JIB
2007
121views more  JIB 2007»
15 years 4 months ago
MetHouse: Raw and Preprocessed Mass Spectrometry Data
We are developing a vendor-independent archive and on top of that a data warehouse for mass spectrometry metabolomics data. The archive schema resembles the communitydeveloped obj...
Antje Gaida, Steffen Neumann
153
Voted
ACL
1992
15 years 5 months ago
Information States as First Class Citizens
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
Jørgen Villadsen
142
Voted
ICIP
2008
IEEE
16 years 6 months ago
Implicit spatial inference with sparse local features
This paper introduces a novel way to leverage the implicit geometry of sparse local features (e.g. SIFT operator) for the purposes of object detection and segmentation. A two-clas...
Deirdre O'Regan, Anil C. Kokaram
ECOOPW
1999
Springer
15 years 9 months ago
Tool Support for Refactoring Duplicated OO Code
Code duplication is an important problem in application maintenance. Tools exist that support code duplication detection. However, few of them propose a solution for the problem, ...
Matthias Rieger, Stéphane Ducasse, Georges ...
ESOP
2008
Springer
15 years 6 months ago
Verification of Higher-Order Computation: A Game-Semantic Approach
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
C.-H. Luke Ong