14809 search results - page 2769 / 2962 » Model transformation by demonstration |
204
Voted
ICTAI
2007
IEEE
16 years 14 days ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
161
click to vote
IEEESCC
2007
IEEE
16 years 13 days ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
156
click to vote
INFOCOM
2007
IEEE
16 years 13 days ago
2007
IEEE
—Wireless Internet access is facilitated by IEEE 802.11 WLANs that, in addition to realizing a specific form of CSMA/CA—distributed coordination function (DCF)— implement a ...
166
click to vote
TPHOL
2007
IEEE
16 years 12 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
159
click to vote
CIVR
2007
Springer
16 years 10 days ago
2007
Springer
Automatic image annotation automatically labels image content with semantic keywords. For instance, the Relevance Model estimates the joint probability of the keyword and the imag...