748 search results - page 127 / 150 » Automatic Presentations and Semigroup Constructions |
LCTRTS
2010
Springer
14 years 3 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
TROB
2008
13 years 8 months ago
2008
In formation-maintenance (formation control) tasks, robots maintain their relative position with respect to their peers, according to a desired geometric shape. Previous work has e...
AIIA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to relational knowledge bases. It can be used to discover interesting groupings of resources through their (semantic...
DLOG
2001
13 years 10 months ago
2001
For description logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the concept descrip...
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
The deep Web presents a pressing need for integrating large numbers of dynamically evolving data sources. To be more automatic yet accurate in building an integration system, we o...