5550 search results - page 62 / 1110 » Different Approaches to Proof Systems |
145
click to vote
NIME
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, I will describe a computer vision-based musical performance system that uses morphological assessments to provide control data. Using shape analysis allows the syst...
129
click to vote
IAT
2009
IEEE
16 years 27 days ago
2009
IEEE
This article summarises five relevant methods for developing self-organising multi-agent systems. It identifies their most promising aspects and provides a description of each o...
131
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
Multichannel adaptive information systems can deliver services over different types of networks and access devices. Since different providers may offer either functionally equivale...
181
Voted
NAACL
2007
15 years 7 months ago
2007
We introduce a simple opinion mining system for analyzing Japanese Weblog reviews called OMS-J. OMS-J is designed to provide an intuitive visual GUI of opinion mining graphs for a...
144
click to vote
IANDC
2008
15 years 6 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...