4488 search results - page 229 / 898 » Properties of NP-Complete Sets |
164
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
Folksonomies, collaboratively created sets of metadata, are becoming more and more important for organising information and knowledge of communites in the Web. While for a single ...
164
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
—In this paper, a new model that can ultimately create its own set of perceptual features is proposed. Using a bidirectional associative memory (BAM)-inspired architecture, the r...
137
click to vote
CAISE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The translation of information between heterogeneous representations is a long standing issue. With the large spreading of cooperative applications fostered by the advent...
192
click to vote
ICWE
2007
Springer
16 years 25 days ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
173
Voted
LFCS
2007
Springer
16 years 25 days ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...