4488 search results - page 229 / 898 » Properties of NP-Complete Sets |
180
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 ...
181
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...
151
click to vote
CAISE
2007
Springer
16 years 1 months 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...
203
click to vote
ICWE
2007
Springer
16 years 1 months 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 ...
196
click to vote
LFCS
2007
Springer
16 years 1 months 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...