442 search results - page 60 / 89 » Model Checking of Systems Employing Commutative Functions |
114
click to vote
ICMCS
2000
IEEE
15 years 5 months ago
2000
IEEE
We describe a subsystem of a content-based image retrieval (CBIR) environment that supports a user in the definition of image similarity. Out of a single image or a set of query i...
118
click to vote
WSC
2004
15 years 2 months ago
2004
In this paper we describe a methodology that includes the complementary use of simulated annealing and response surface methodology (RSM). The methodology was developed for analys...
108
click to vote
ACL
1993
15 years 2 months ago
1993
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...
127
click to vote
BMCBI
2002
15 years 1 months ago
2002
Background: Most profile and motif databases strive to classify protein sequences into a broad spectrum of protein families. The next step of such database studies should include ...
DEXA
1999
Springer
15 years 5 months ago
1999
Springer
: In an extensible database system, evaluation of a query plan is done in cooperation between a collection of operator implementation functions and a component of the DBMS that we ...