11397 search results - page 147 / 2280 » A Relational Abstraction for Functions |
191
click to vote
MSCS
2008
15 years 7 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
228
Voted
IJON
2011
15 years 1 months ago
2011
Abstract. The generative topographic mapping (GTM) has been proposed as a statistical model to represent high dimensional data by means of a sparse lattice of points in latent spac...
156
Voted
BIBE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—The wavelet entropy (WE) of rest electroencephalogram (EEG) and of event-related potentials (ERP) carries information about the degree of order or disorder associated wi...
152
click to vote
IJCNLP
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. This paper describes a novel method for a word sense disambiguation that utilizes relatives (i.e. synonyms, hypernyms, meronyms, etc in WordNet) of a target word and raw ...
174
Voted
ILP
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...