Sciweavers

39039 search results - page 7640 / 7808
» Implementation of the
Sort
View
JCISE
2002
166views more  JCISE 2002»
13 years 9 months ago
The STEP Modular Architecture
The first Technical Note in this series [1] introduced the international standard ISO 10303, informally known as STEP (STandard for the Exchange of Product model data). Subsequent...
Allison Barnard Feeney
JECR
2002
120views more  JECR 2002»
13 years 9 months ago
Strategic Connectivity in Extended Enterprise Networks
Extended enterprises are networks of organizations interconnected to exchange critical resources, such as raw materials, labor, access to markets, specialized skills and knowledge...
John Tillquist
JAIR
1998
89views more  JAIR 1998»
13 years 9 months ago
An Empirical Approach to Temporal Reference Resolution
Scheduling dialogs, during which people negotiate the times of appointments, are common in everyday life. This paper reports the results of an in-depth empirical investigation of ...
Janyce Wiebe, Thomas P. O'Hara, Thorsten Öhrs...
JAR
1998
134views more  JAR 1998»
13 years 9 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
JCB
1998
92views more  JCB 1998»
13 years 9 months ago
Homology Detection via Family Pairwise Search
The function of an unknown biological sequence can often be accurately inferred by identifying sequences homologous to the original sequence. Given a query set of known homologs, ...
William Noble Grundy
« Prev « First page 7640 / 7808 Last » Next »