Sciweavers

1059 search results - page 118 / 212
» Unification-Based Semantic Interpretation
Sort
View
SEMWEB
2010
Springer
15 years 2 months ago
Converting and Annotating Quantitative Data Tables
Companies, governmental agencies and scientists produce a large amount of quantitative (research) data, consisting of measurements ranging from e.g. the surface temperatures of an ...
Mark van Assem, Hajo Rijgersberg, Mari Wigham, Jan...
CORR
2009
Springer
106views Education» more  CORR 2009»
15 years 2 months ago
A framework for protein and membrane interactions
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
Giorgio Bacci, Davide Grohmann, Marino Miculan
ICIP
2009
IEEE
15 years 2 months ago
An attention model for extracting components that merit identification
Cognitive systems are trained to recognise perceptually meaningful parts of an image. These regions contain some variation, i.e. local texture, and are roughly convex. We call suc...
Mohammad Jahangiri, Maria Petrou
CVPR
2011
IEEE
15 years 1 months ago
Detection Free Tracking: Exploiting Motion and Topology for Segmenting and Tracking under Entanglement.
Our goal is to segment multiple interacting and deforming agents in a video. Detectors often fail under large body deformation or agent entanglement. On the other hand, segmenting...
Katerina Fragkiadaki, Jianbo Shi
CORR
2011
Springer
172views Education» more  CORR 2011»
14 years 11 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux