592 search results - page 73 / 119 » CTL Model Update: Semantics, Computations and Implementation |
116
click to vote
HRI
2006
ACM
15 years 8 months ago
2006
ACM
The paper presents an approach to using structural descriptions, obtained through a human-robot tutoring dialogue, as labels for the visual object models a robot learns. The paper...
129
click to vote
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
Graph-theoretic abstractions are extensively used to analyze massive data sets. Temporal data streams from socioeconomic interactions, social networking web sites, communication t...
159
click to vote
SSD
1993
Springer
15 years 6 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
110
click to vote
DBPL
1993
Springer
15 years 6 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
111
click to vote
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...