Sciweavers

1024 search results - page 107 / 205
» Value complete, column complete, predicate complete
Sort
View
BIS
2011
342views Business» more  BIS 2011»
14 years 1 months ago
A Concept of the Knowledge Strategic Resource Network (SknowNet) for SMEs
This paper presents concept of the strategic knowledge resource network for SMEs. A strategic-knowledge resource in a company represents the knowledge, skills and capabilities of t...
Justyna Patalas-Maliszewska, Irene Krebs
CORR
2008
Springer
141views Education» more  CORR 2008»
15 years 1 months ago
Model checking memoryful linear-time logics over one-counter automata
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
Stéphane Demri, Ranko Lazic, Arnaud Sangnie...
BMCBI
2006
137views more  BMCBI 2006»
15 years 1 months ago
Genome BLAST distance phylogenies inferred from whole plastid and whole mitochondrion genome sequences
Background: Phylogenetic methods which do not rely on multiple sequence alignments are important tools in inferring trees directly from completely sequenced genomes. Here, we exte...
Alexander F. Auch, Stefan R. Henz, Barbara R. Holl...
CVPR
2008
IEEE
16 years 3 months ago
Kernel-based learning of cast shadows from a physical model of light sources and surfaces for low-level segmentation
In background subtraction, cast shadows induce silhouette distortions and object fusions hindering performance of high level algorithms in scene monitoring. We introduce a nonpara...
André Zaccarin, Nicolas Martel-Brisson
126
Voted
ECCV
2000
Springer
16 years 3 months ago
Non-parametric Model for Background Subtraction
Abstract. Background subtraction is a method typically used to segment moving regions in image sequences taken from a static camera by comparing each new frame to a model of the sc...
Ahmed M. Elgammal, David Harwood, Larry S. Davis