1350 search results - page 138 / 270 » Reasoning about Staged Computation |
145
click to vote
DSVIS
2008
Springer
15 years 7 months ago
2008
Springer
The design and evaluation of multimodal systems has traditionally been a craft skill. There are some well established heuristics, guidelines and frameworks for assessing multimodal...
121
click to vote
IJCAI
1989
15 years 6 months ago
1989
Model-based revision of knowledge bases ex pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de scribing and reasoning about the effects o...
144
Voted
TRANSCI
2002
15 years 5 months ago
2002
Vendor managed inventory replenishment is a business practice in which vendors monitor their customers' inventories, and decide when and how much inventory should be replenis...
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Goal models are effective in capturing stakeholder needs at the time when features of the system-to-be have not yet been conceptualized. Relating goals to solution-oriented featur...
116
Voted
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...