941 search results - page 101 / 189 » The Second Order Particle System |
APAL
2010
14 years 10 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
CCIA
2010
Springer
14 years 4 months ago
2010
Springer
Interactions within Multi-agent systems can be structured in different ways depending on the application scenario and its environmental restrictions. In previous work we have devel...
112
click to vote
ISMB
1994
14 years 11 months ago
1994
Homologydetection in large data bases is probably the most time consuming operation in molecular genetic computing systems. Moreover, the progresses made all around the world conc...
CHI
2004
ACM
15 years 10 months ago
2004
ACM
This paper discusses a novel data mining system devised and developed at Birmingham, which attempts to provide a more effective data mining system. It ties in with the workshop go...
KDD
2002
ACM
15 years 10 months ago
2002
ACM
Several domain specific approaches for sports video management have shown the benefits of integrating low- and high- level video contents in supporting more robust retrieval. Howev...