Sciweavers

22698 search results - page 4302 / 4540
» Modeling in Software Engineering
Sort
View
DEFORM
2000
15 years 5 months ago
Parametrization and Range of Motion of the Ball-and-Socket Joint
The ball-and-socket joint model is used to represent articulations with three rotational degrees of freedom (DOF), such as the human shoulder and the hip. The goal of this paper i...
Paolo Baerlocher, Ronan Boulic
IWEB
1998
15 years 5 months ago
Using Java for the Coordination of Workflows in the World Wide Web
In this paper we introduce a workflow management system, called WebFlow, which is based on the world wide web and Java as its basic technologies. Java is used as the build time (m...
Michael Weber, Torsten Illmann
BNCOD
1997
76views Database» more  BNCOD 1997»
15 years 5 months ago
Query Evaluation in CROQUE - Calculus and Algebra Coincide
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
Torsten Grust, Joachim Kröger, Dieter Gluche,...
WOA
2000
15 years 5 months ago
Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
Alessandro Armando, Daniele Zini
TREC
2007
15 years 5 months ago
MultiText Legal Experiments at TREC 2007
For the legal track we used the Wumpus search engine and investigated several methods that have proven successful in other domains, including cover density ranking and Okapi BM25 ...
Stefan Büttcher, Charles L. A. Clarke, Gordon...
« Prev « First page 4302 / 4540 Last » Next »