2540 search results - page 197 / 508 » Abstract Logics as Dialgebras |
181
click to vote
PVM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. MPI implementations are faced with growingly complex network configurations containing multiple network interfaces per node, NAT, or dual stacks. To implement handling l...
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...