2765 search results - page 96 / 553 » Works and representation |
172
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
205
click to vote
VISUAL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Unlike traditional database management systems, in multimedia databases that support content-based retrieval over multimedia objects, it is difficult for users to express...
252
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...
143
click to vote
FUZZIEEE
2007
IEEE
16 years 21 days ago
2007
IEEE
The comparison of protein structures is an important problem in Bioinformatics, and Soft Computing techniques were recently introduced for achieving a better representation and po...
184
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
Due to the presence of speckle, segmentation of SAR images is generally acknowledged as a difficult problem. A large effort has been done in order to cope with the influence of sp...