826 search results - page 150 / 166 » A Pragmatic Approach to Formalizing Object-Oriented Modeling... |
UAI
2000
13 years 9 months ago
2000
Incorporating feature selection into a classi cation or regression method often carries a number of advantages. In this paper we formalize feature selection speci cally from a dis...
CGF
1998
13 years 7 months ago
1998
In contrast with the growth of plants and trees, human organs can undergo signi cant changes in shape through a variety of global transformations during the growth period, such as...
VMCAI
2005
Springer
14 years 1 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
CSFW
2003
IEEE
14 years 1 months ago
2003
IEEE
A type confusion attack is one in which a principal accepts data of one type as data of another. Although it has been shown by Heather et al. that there are simple formatting conv...
SAC
2002
ACM
13 years 7 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...