21430 search results - page 422 / 4286 » Abstract Effective Models |
174
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
Self-assessment is a crucial component of learning. Creating effective questions is time-consuming, however, because it may require considerable resources and the skill of critica...
157
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper simulates a typical indoor MIMO-UWB OFDM system using computational electromagnetics. The goal is to create a simulation using a real world environment and taking int...
172
click to vote
AAAI
2006
15 years 8 months ago
2006
This paper is concerned with estimating the effects of actions from causal assumptions, represented concisely as a directed graph, and statistical knowledge, given as a probabilit...
162
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
143
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...