1389 search results - page 51 / 278 » Definability as hypercomputational effect |
103
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
The complexity of round robin iterative data flow analysis has been traditionally defined as 1+d where d is the depth of a control flow graph. However, this bound is restricted to ...
119
click to vote
TCS
2008
15 years 1 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
VLSISP
2002
15 years 1 months ago
2002
Multi-valued and universal binary neurons (MVN and UBN) are the neural processing elements with the complex-valued weights and high functionality. It is possible to implement an a...
120
click to vote
IAJIT
2010
15 years 16 hour ago
2010
: Web services are considered one of the main technologies which emerged in recent years, they provide an application integration technology that allows business applications to co...
KI
2002
Springer
15 years 1 months ago
2002
Springer
We present an extension of state-based planning from traditional Strips to function application, allowing to express operator effects as updates. As proposed in PDDL, fluent variab...