2722 search results - page 311 / 545 » Automating Language Evolution |
126
click to vote
ICWS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
150
click to vote
GIS
2000
ACM
15 years 4 months ago
2000
ACM
Spatialapplications must managepartwhole (PW) relationships between spatial objects, for example, the division of an administrative region into zones based on land use. Support fo...
138
click to vote
CORR
1999
Springer
15 years 3 months ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
113
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
153
click to vote
GIS
2010
ACM
15 years 1 months ago
2010
ACM
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...