5754 search results - page 464 / 1151 » Multi-class Model M |
200
click to vote
AISC
2004
Springer
16 years 10 days ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
190
click to vote
CAISE
2004
Springer
16 years 10 days ago
2004
Springer
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
175
click to vote
ICRA
2003
IEEE
16 years 6 days ago
2003
IEEE
- A new motion planning framework is presented that enables multiple mobile robots with limited ranges of sensing and communication to maneuver and achieve goals safely in dynamic ...
105
click to vote
ISCAS
2003
IEEE
16 years 6 days ago
2003
IEEE
Load cell response correction can be used to speed up the process of measurement. This paper investigates the application of analog adaptive techniques in load cell response corre...
195
click to vote
ISQED
2003
IEEE
16 years 6 days ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...