737 search results - page 98 / 148 » Computer science projects with music |
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Managers and group leaders of a community may not have enough information to help them direct the community development. In this paper, we adopt social network analysis, graph the...
ISCC
2002
IEEE
14 years 1 months ago
2002
IEEE
We present an adaptive system for training and teaching. Our system integrates an adaptive training environment and a cooperative environment for exams both accessible via Interne...
IWANN
1999
Springer
14 years 1 months ago
1999
Springer
It has been shown that mutual lateral inhibition of the projection neurones in the olfactory bulb, mediated by interneurones, serves to tune the representation of odours in the bul...
ROBOCUP
1999
Springer
14 years 1 months ago
1999
Springer
In this paper we describe Big Red, the Cornell University Robot Soccer team. The success of our team at the 1999 competition can be mainly attributed to three points: 1) An integra...