1413 search results - page 85 / 283 » ideas 2007 |
ENTCS
2007
14 years 12 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
IJAC
2007
14 years 11 months ago
2007
Let K x, y be the free associative algebra of rank 2 over an algebraically closed constructive field of any characteristic. We present an algorithm which decides whether or not tw...
IJHPCA
2007
14 years 11 months ago
2007
An MPI profiling library is a standard mechanism for intercepting MPI calls by applications. Profiling libraries are so named because they are commonly used to gather runtime in...
104
click to vote
FCSC
2007
14 years 11 months ago
2007
The discovery of community structure in a large number of complex networks has attracted lots of interest in recent years. One category of algorithms for detecting community struct...
100
click to vote
KES
2007
Springer
14 years 11 months ago
2007
Springer
Abstract As a matter of fact, humans continuously delegate and distribute cognitive functions to the environment to lessen their limits. They build models, representations, and oth...