1389 search results - page 109 / 278 » Definability as hypercomputational effect |
SAC
2002
ACM
13 years 8 months ago
2002
ACM
This paper focuses on coordination middleware for distributed applications based on active documents and XML technologies. It introduces the main concepts underlying active docume...
TSE
1998
13 years 8 months ago
1998
Developers need tool support to help manage the wide range of inconsistencies that occur during software development. Such tools need to provide developers with ways to define, de...
WWW
2002
ACM
13 years 8 months ago
2002
ACM
In this paper we present a graphical query language for XML. The language, based on a simple form of graph grammars, permits us to extract data and reorganize information in a new...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
—To operate autonomously in forested environments, unmanned ground vehicles (UGVs) must be able to identify the load-bearing surface of the terrain (i.e. the ground). This paper ...
JSC
2008
13 years 7 months ago
2008
We compute the singular points of a plane rational curve, parametrically given, using the implicitization matrix derived from the -basis of the curve. It is shown that singularity...