10568 search results - page 445 / 2114 » Computer Intelligence and Formalization |
151
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
175
click to vote
CLEIEJ
2007
15 years 4 months ago
2007
This paper presents a description of the environments of individualized learning (Based on the Intelligent Tutoring Systems, ITS), the Computer Supported Collaborative Learning (C...
150
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
In recent years, the blogosphere has experienced a substantial increase in the number of posts published daily, forcing users to cope with information overload. The task of guidin...
153
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
The application of resource-defined fitness sharing (RFS) to shape nesting problems reveals a remarkable ability to discover tilings [7, 8]. These tilings represent exact covers...
137
Voted
HIKM
2006
ACM
15 years 10 months ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...