3053 search results - page 391 / 611 » A Logic of Abstract Argumentation |
175
click to vote
WILF
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Analysis and visualization of high-dimensional clinical proteomic spectra obtained from mass spectrometric measurements is a complicated issue. We present a wavelet based...
162
click to vote
WILF
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present a machine learning approach for classifying sentences as one-liner jokes or normal sentences. We use no deep analysis of the meaning to try to see if it is hum...
170
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
178
click to vote
IJCNN
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— In previous work, we have shown that both unsupervised feature selection and the semi-supervised clustering problem can be usefully formulated as multiobjective optimiz...
188
click to vote
TIME
2005
IEEE
16 years 8 days ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...