1058 search results - page 102 / 212 » Using Different Representations of Synchronous Systems in SA... |
170
click to vote
IFM
1999
Springer
15 years 11 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
168
click to vote
ALMOB
2006
15 years 6 months ago
2006
The main goal of the motif finding problem is to detect novel, over-represented unknown signals in a set of sequences (e.g. transcription factor binding sites in a genome). The mo...
169
click to vote
TIFS
2010
15 years 1 months ago
2010
Face verification in the presence of age progression is an important problem that has not been widely addressed. In this paper, we study the problem by designing and evaluating dis...
179
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
This paper presents a novel approach for detection and segmentation of generic shapes in cluttered images. The underlying assumption is that generic objects that are man made, fre...
171
click to vote
KESAMSTA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...