1966 search results - page 373 / 394 » Description Logics and Planning |
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
123
click to vote
JUCS
2006
14 years 11 months ago
2006
: The need for processing biological information is rapidly growing, owing to the masses of new information in digital form being produced at this time. Old methodologies for proce...
100
click to vote
SEMWEB
2010
Springer
14 years 9 months ago
2010
Springer
Systems based on statistical and machine learning methods have been shown to be extremely effective and scalable for the analysis of large amount of textual data. However, in the r...
127
click to vote
PODS
2011
ACM
14 years 2 months ago
2011
ACM
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...
176
click to vote
GIS
2009
ACM
16 years 25 days ago
2009
ACM
In this paper we present algorithms for automatically generating a road network description from aerial imagery. The road network inforamtion (RNI) produced by our algorithm inclu...