883 search results - page 135 / 177 » Communities of Interest |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
JBI
2006
13 years 8 months ago
2006
Domain reference ontologies represent knowledge about a particular part of the world in a way that is independent from specific objectives, through a theory of the domain. An exam...
ESWA
2007
13 years 8 months ago
2007
ct 7 Currently there is an increasing interest in data mining and educational systems, making educational data mining as a new growing 8 research community. This paper surveys the ...
BEHAVIOURIT
2004
13 years 8 months ago
2004
Abstract. The rapid growth of personal email communication, instant messaging and online communities has brought attention to the important role of interpersonal trust in online co...
AAI
2000
13 years 8 months ago
2000
Reearch into virtual environments on the one hand and artificial intelligence and artificial life on the other has largely been carried out by two different groups of people with ...