319 search results - page 38 / 64 » Criteria for the verification of feature models |
CADE
2005
Springer
15 years 10 months ago
2005
Springer
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
BIRTHDAY
2003
Springer
15 years 1 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
ITNG
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents the recognition of Handwritten Hindi Numerals based on the modified exponential membership function fitted to the fuzzy sets derived from normalized distance f...
ICIW
2008
IEEE
15 years 4 months ago
2008
IEEE
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
ICDM
2003
IEEE
15 years 3 months ago
2003
IEEE
A major obstacle to fully integrated deployment of many data mining algorithms is the assumption that data sits in a single table, even though most real-world databases have compl...