2748 search results - page 166 / 550 » Modelling Fuzzy Sets Using Object-Oriented Techniques |
121
click to vote
IEE
1998
15 years 4 months ago
1998
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper ...
138
click to vote
ML
2006
ACM
15 years 4 months ago
2006
ACM
Abstract Identifier attributes--very high-dimensional categorical attributes such as particular product ids or people's names--rarely are incorporated in statistical modeling....
143
click to vote
AMAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
150
click to vote
IEEEPACT
2003
IEEE
15 years 10 months ago
2003
IEEE
Improving cache performance requires understanding cache behavior. However, measuring cache performance for one or two data input sets provides little insight into how cache behav...
156
click to vote
GBRPR
2007
Springer
15 years 8 months ago
2007
Springer
We propose in this article an image classification technique based on kernel methods and graphs. Our work explores the possibility of applying marginalized kernels to image process...