2436 search results - page 310 / 488 » Comonadic Notions of Computation |
147
click to vote
ECSQARU
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
157
click to vote
FROCOS
2007
Springer
16 years 22 days ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
175
click to vote
ICCSA
2007
Springer
16 years 22 days ago
2007
Springer
An encrypted email is sent from Bob to Alice. A gateway wants to check whether a certain keyword exists in an email or not for some reason (e.g. routing). Nevertheless Alice does n...
184
click to vote
IMR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract: This paper describes an approach to construct unstructured tetrahedral and hexahedral meshes for a domain with multiple materials. In earlier works, we developed an octre...
150
click to vote
MFCS
2007
Springer
16 years 21 days ago
2007
Springer
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...