3624 search results - page 501 / 725 » Abstract Algebraic Logic |
181
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
171
click to vote
SOFSEM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
175
click to vote
WILF
2007
Springer
16 years 21 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...
160
click to vote
WILF
2007
Springer
16 years 21 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...
168
click to vote
DATE
2006
IEEE
16 years 20 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 ...