Sciweavers

2738 search results - page 158 / 548
» The Frobenius Problem and Its Generalizations
Sort
View
LATIN
2004
Springer
15 years 10 months ago
Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
Volker Diekert, Paul Gastin
DESRIST
2009
Springer
115views Education» more  DESRIST 2009»
15 years 7 months ago
Ontological design
In this paper, we describe the concept of ontological design. We show how ontologies can be used as cognitive maps of complex, ill-structured, plastic problems. They can be used t...
Arkalgud Ramaprasad, Sridhar S. Papagari
COCOA
2008
Springer
15 years 6 months ago
Parameterized Graph Editing with Chosen Vertex Degrees
We study the parameterized complexity of the following problem: is it possible to make a given graph r-regular by applying at most k elementary editing operations; the operations a...
Luke Mathieson, Stefan Szeider
CVPR
2008
IEEE
16 years 6 months ago
Misalignment-robust face recognition
In this paper, we study the problem of subspace-based face recognition under scenarios with spatial misalignments and/or image occlusions. For a given subspace, the embedding of a...
Huan Wang, Shuicheng Yan, Thomas S. Huang, Jianzhu...
ICIP
2005
IEEE
16 years 6 months ago
Segmenting non stationary images with triplet Markov fields
The hidden Markov field (HMF) model has been used in many model-based solutions to image analysis problems, including that of image segmentation, and generally gives satisfying re...
Dalila Benboudjema, Wojciech Pieczynski