9018 search results - page 1543 / 1804 » 3D-Brain Model Software |
134
Voted
ARGMAS
2004
Springer
15 years 8 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
155
click to vote
BIBE
2004
IEEE
15 years 8 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
192
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
151
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
158
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Machine learning systems offer unparalled flexibility in dealing with evolving input in a variety of applications, such as intrusion detection systems and spam e-mail filtering. H...