3053 search results - page 384 / 611 » Structured Objects: Modeling and Reasoning |
177
click to vote
ICIS
2003
15 years 7 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...
203
click to vote
AR
2007
15 years 6 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...
156
click to vote
JIS
2007
15 years 6 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...
195
click to vote
TPHOL
2009
IEEE
16 years 1 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,...
212
click to vote
TOG
2012
13 years 9 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...