972 search results - page 65 / 195 » Intersection types and computational effects |
CSR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We study the group-valued and semigroup-valued conservation laws in cellular automata (CA). We provide examples to distinguish between semigroup-valued, group-valued and ...
ACL
2010
13 years 5 months ago
2010
Supporting natural language input may improve learning in intelligent tutoring systems. However, interpretation errors are unavoidable and require an effective recovery policy. We...
IPSN
2005
Springer
14 years 1 months ago
2005
Springer
Geographic routing with greedy relaying strategies have been widely studied as a routing scheme in sensor networks. These schemes assume that the nodes have perfect information ab...
NAR
2011
2011
FragmentStore - a comprehensive database of fragments linking metabolites, toxic molecules and drugs
12 years 10 months ago
Consideration of biomolecules in terms of their molecular building blocks provides valuable new information regarding their synthesis, degradation and similarity. Here, we present...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
Current search mechanisms of DHT-based P2P systems can well handle a single keyword search problem. Other than single keyword search, multi-keyword search is quite popular and use...