700 search results - page 102 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
INFOCOM
1995
IEEE
15 years 1 months ago
1995
IEEE
CommunicationsNetworks can separate as well asjoin iMormation. This ability can be used to increase personal privacy in an environment where advances in technology makes it possib...
PICS
2000
14 years 11 months ago
2000
Traditionally, quantitative image quality analytical methods rely on large hardware in fixed installations. There are many situations when portability is required, where these met...
ENTCS
2006
14 years 9 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
ENGL
2007
14 years 9 months ago
2007
—Instantaneous detection and diagnosis of various faults and break-downs in industrial processes is required to reduce production losses and damage to equipments. A solved knowle...
OZCHI
2009
ACM
15 years 4 months ago
2009
ACM
This paper extends the analytic framework Suchman used in Plans and Situated Actions by using it as a tool in the design of interactive, immersive environments that rely on human ...