541 search results - page 85 / 109 » Human stigmergy: Theoretical developments and new applicatio... |
116
click to vote
MM
2004
ACM
15 years 6 months ago
2004
ACM
With the increasing ubiquity of sensors and computational resources, it is becoming easier and increasingly common for people to electronically record, photographs, text, audio, a...
118
click to vote
BMCBI
2004
15 years 12 days ago
2004
Background: Rates of substitution in protein-coding sequences can provide important insights into evolutionary processes that are of biomedical and theoretical interest. Increased...
BCSHCI
2007
15 years 2 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
102
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
115
Voted
AO
2006
15 years 18 days ago
2006
in ontology is quite abstract and often based on toy-examples to the point that the gap between the work of theoreticians and the needs of real applications is too wide to be cross...