3053 search results - page 384 / 611 » Structured Objects: Modeling and Reasoning |
134
Voted
ICIS
2003
15 years 5 months ago
2003
As supply chains evolve beyond the confines of individual organizations, collaboration has become the Holy Grail in supply chain technology. It plays a key role in achieving flexi...
161
Voted
AR
2007
15 years 3 months ago
2007
In robotics, recognition of human activity has been used extensively for robot task learning through imitation and demonstration. However, there has not been much work on modeling...
117
Voted
JIS
2007
15 years 3 months ago
2007
Digital folklore collections are valuable sources for studying cultural and oral tradition of a country. The main difficulty in managing such collections is material heterogeneity...
149
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
168
Voted
TOG
2012
13 years 6 months ago
2012
We introduce the interactive system “Beady” to assist the design and construction of customized 3D beadwork. The user first creates a polygonal mesh model called the design m...