Sciweavers

1235 search results - page 107 / 247
» Structured Meanings in Computational Linguistics
Sort
View
GBRPR
2007
Springer
15 years 4 months ago
Bipartite Graph Matching for Computing the Edit Distance of Graphs
In the field of structural pattern recognition graphs constitute a very common and powerful way of representing patterns. In contrast to string representations, graphs allow us to ...
Kaspar Riesen, Michel Neuhaus, Horst Bunke
108
Voted
BIOCOMP
2010
14 years 8 months ago
A Hierarchical Decision Engine for Computer Aided Lung Nodule Detection from CT Images
- We present a novel hierarchical modular decision engine for lung nodule detection from CT images implemented by Artificial Neural Networks. The proposed Computer Aided Detection ...
Ömer M. Soysal, Jianhua Chen, Steven Bujenovi...
ICCV
2003
IEEE
16 years 12 hour ago
Tracking Articulated Body by Dynamic Markov Network
A new method for visual tracking of articulated objects is presented. Analyzing articulated motion is challenging because the dimensionality increase potentially demands tremendou...
Ying Wu, Gang Hua, Ting Yu
MMB
2010
Springer
185views Communications» more  MMB 2010»
15 years 2 days ago
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
Ralf Wimmer, Bernd Becker
CSL
2010
Springer
14 years 11 months ago
On the Computability of Region-Based Euclidean Logics
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
Yavor Nenov, Ian Pratt-Hartmann