1981 search results - page 269 / 397 » Model-Checking Hierarchical Structures |
119
click to vote
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
Exploratory ad-hoc queries could return too many answers ? a phenomenon commonly referred to as "information overload". In this paper, we propose to automatically catego...
103
click to vote
PODS
2005
ACM
16 years 2 months ago
2005
ACM
We introduce the Multi-Structural Database, a new data framework to support efficient analysis of large, complex data sets. An instance of the model consists of a set of data obje...
132
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We present a method for detecting and parsing buildings from unorganized 3D point clouds into a compact, hierarchical representation that is useful for high-level tasks. The input...
HICSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Most software-intensive systems rely on a componentbased design and are therefore made up of encapsulated structural units which are hierarchically composed of one another. In thi...
101
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Direct physical human-robot interaction has become a central part in the research field of robotics today. To use the advantages of the potential for humans and robots...