1389 search results - page 28 / 278 » Definability as hypercomputational effect |
CONCUR
2009
Springer
14 years 17 days ago
2009
Springer
We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Companies seeking to achieve significant benefits through e-business need to create an effective and usable web presence to ensure successful interaction and communication with th...
DAGSTUHL
2006
13 years 10 months ago
2006
Assessing the similarity among 3D shapes is a challenging research topic, and effective shape descriptions have to be devised in order to support the matching process. There is a ...
JSS
2011
13 years 3 months ago
2011
Due to the complex nature of scientific workflow environments, temporal violations often take place and may severely reduce the timeliness of the execution’s results. To handle ...