9110 search results - page 323 / 1822 » Formally-Based Design Evaluation |
172
click to vote
WSC
2000
15 years 8 months ago
2000
We develop a financial model for a manufacturing process where quality can be affected by an assignable cause. We evaluate the options associated with applying a statistical proce...
172
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- We describe an implementation based on the WSNotification (WSN) specification for Publish/Subscribe communication which provides a distributed, content-based notificatio...
131
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
In the paper practical issues concerning the use of UML as a knowledge representation method for rules are discussed. A proposal of an UML-based representation for the XTT structur...
166
click to vote
COLING
2002
15 years 6 months ago
2002
We present an architecture for spoken dialogue systems where first-order inference (both theorem proving and model building) plays a crucial role in interpreting utterances of dia...
176
click to vote
JILP
2000
15 years 6 months ago
2000
This paper describes and evaluates the profile-based optimizations in the Compaq C compiler tool chain for Alpha. The optimizations include superblock formation, inlining, command...