299 search results - page 59 / 60 » Mechanizing common knowledge logic using COQ |
COMPUTER
2007
13 years 6 months ago
2007
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
BMCBI
2006
13 years 6 months ago
2006
Markov statistical methods may make it possible to develop an unsupervised learning process that can automatically identify genomic structure in prokaryotes in a comprehensive way...
WWW
2008
ACM
14 years 6 months ago
2008
ACM
Communities gather Web services that provide a common functionality, acting as an intermediate layer between end users and Web services. On the one hand, they provide a single endp...
IEEEPACT
2008
IEEE
14 years 18 days ago
2008
IEEE
Both commercial and scientific workloads benefit from concurrency and exhibit data sharing across threads/processes. The resulting sharing patterns are often fine-grain, with t...
ATAL
2003
Springer
13 years 11 months ago
2003
Springer
Coalition formation methods allow agents to join together and are thus necessary in cases where tasks can only be performed cooperatively by groups. This is the case in the Reques...