Sciweavers

2738 search results - page 158 / 548
» The Frobenius Problem and Its Generalizations
Sort
View
LATIN
2004
Springer
16 years 10 days 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
199
Voted
DESRIST
2009
Springer
115views Education» more  DESRIST 2009»
15 years 10 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
166
Voted
COCOA
2008
Springer
15 years 8 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 9 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...
176
Voted
ICIP
2005
IEEE
16 years 8 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