4036 search results - page 604 / 808 » Formal Methods |
160
click to vote
UAI
2000
15 years 7 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...
173
click to vote
AOSE
2005
Springer
16 years 2 days ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
129
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Interobserver reliability and reproducibility are well known problems in experimental research within the social and behavioural sciences. We propose the use of formal techniques ...
171
click to vote
ECOOP
2007
Springer
16 years 21 days ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
169
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a generic approach to mesh global optimization via node movement, based on a discrete graph-theoretic model. Mesh is considered as an electric system with lump...