8828 search results - page 1296 / 1766 » Formal methods in practice |
193
click to vote
JMLR
2006
15 years 7 months ago
2006
Spam filtering poses a special problem in text categorization, of which the defining characteristic is that filters face an active adversary, which constantly attempts to evade fi...
196
click to vote
PAA
2008
15 years 7 months ago
2008
Artificial immune system (AIS)-based pattern classification approach is relatively new in the field of pattern recognition. The study explores the potentiality of this paradigm in ...
181
click to vote
IANDC
2007
15 years 7 months ago
2007
In this paper we study secure information flow policies in the sense of Meadows [12] and others for aggregated datasets, collectively. We first present a method for combining di...
205
click to vote
IJCSA
2007
15 years 7 months ago
2007
This paper studies the design and application of the neural network based adaptive control scheme for autonomous underwater vehicle's (AUV's) depth control system that i...
191
click to vote
SMA
2008
ACM
15 years 7 months ago
2008
ACM
Improving the quality of tetrahedral meshes is an important operation in many scientific computing applications. Meshes with badly shaped elements impact both the accuracy and con...