Sciweavers

153 search results - page 5 / 31
» From Philosophical to Industrial Logics
Sort
View
ETFA
2006
IEEE
14 years 1 months ago
Normalization of Industrial Machinery with Embedded Devices and SOA
In the present paper we propose a method that permits visualization of manufacturing devices from a functional perspective. The aim of this method is to raise raction level of man...
Virgilio Gilart-Iglesias, Francisco Maciá P...
SYNTHESE
2008
71views more  SYNTHESE 2008»
13 years 7 months ago
Formalizing common sense: an operator-based approach to the Tibbles-Tib problem
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
Ingvar Johansson
WSC
1998
13 years 8 months ago
SDI INDUSTRY: An Extend-based Tool for Continuous and High-Speed Manufacturing
Continuous or high-speed manufacturing equipment is an integral part of the food and beverage, pharmaceutical, and consumer products industries. For many years, these industries h...
Andrew J. Siprelle, Richard A. Phelps, M. Michelle...
ESCIENCE
2005
IEEE
14 years 29 days ago
Experiences with GRIA - Industrial Applications on a Web Services Grid
The GRIA project set out to make the Grid usable by industry. The GRIA middleware is based on Web Services, and designed to meet the needs of industry for security and business-to...
Mike Surridge, Steve Taylor, David De Roure, Ed Za...
BSL
2006
114views more  BSL 2006»
13 years 7 months ago
Schemata: The Concept of Schema in the History of Logic
Schemata have played important roles in logic since Aristotle's Prior Analytics. The syllogistic figures and moods can be taken to be argument schemata as can the rules of the...
John Corcoran