1389 search results - page 51 / 278 » Definability as hypercomputational effect |
CORR
2006
Springer
13 years 8 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 ...
TCS
2008
13 years 8 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
13 years 8 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...
IAJIT
2010
13 years 7 months 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
13 years 8 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...