455 search results - page 27 / 91 » Understanding Counterexamples with explain |
AUIC
2005
IEEE
15 years 4 months ago
2005
IEEE
User interface design is still more of an art than a science. Interface design and redesign is mostly based on empirical studies or prototypes but there is still surprisingly litt...
101
click to vote
ECIS
2004
15 years 16 days ago
2004
Several governments are in the process of implementing e-procurement. In the process they face several challenges. The diffusion of e-procurement in the Danish public sector is re...
IJMTM
2000
14 years 11 months ago
2000
A reconfigurable manufacturing system (RMS) is designed for rapid adjustment of production capacity and functionality in response to new market conditions and new process technolo...
69
Voted
STTT
2002
14 years 10 months ago
2002
Physics, biology, and medicine have well-refined public explanations of their research processes. Even in simplified form, these provide guidance about what counts as "good re...
130
click to vote
TSE
2011
14 years 6 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...