7213 search results - page 321 / 1443 » Automated model grouping |
202
click to vote
RTA
2005
Springer
16 years 7 days ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
161
click to vote
SIGCSE
2004
ACM
16 years 5 days ago
2004
ACM
This paper presents an innovative multiagent system to support cooperative learning among students both in the real classrooms and in distance education. The system, called I-MIND...
178
click to vote
ISMB
1993
15 years 8 months ago
1993
Molecular sequence megaclassification is a technique for automated protein sequence analysis and annotation. Implementation of the method has been limited by the need to store and...
194
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Large volumes of morphological descriptions of whole organisms have been created as print or electronic text in a human-readable format. Converting the descriptions in...
165
click to vote
COGSCI
2002
15 years 6 months ago
2002
We address the problem of predicting how people will spontaneously divide into groups a set of novel items. This is a process akin to perceptual organization. We therefore employ ...