43264 search results - page 8319 / 8653 » Comparing models of computation |
147
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
Retweeting is an important action (behavior) on Twitter, indicating the behavior that users re-post microblogs of their friends. While much work has been conducted for mining text...
142
click to vote
AI
2008
Springer
15 years 1 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
126
click to vote
CLIMA
2010
15 years 1 months ago
2010
Answer sharing is a key element in multi-agent systems as it allows agents to collaborate towards achieving a global goal. However exogenous knowledge of the world can influence e...
129
click to vote
FAC
2010
15 years 1 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
148
click to vote
IJON
2008
15 years 1 months ago
2008
This article depicts the approach used to build the Topos application, a simulation of two-wheel robots able to discern real complex sounds. Topos is framed in the nouvelle concep...