13913 search results - page 416 / 2783 » models 2007 |
218
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
200
click to vote
JANCL
2007
15 years 7 months ago
2007
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...
204
click to vote
WSC
2007
15 years 10 months ago
2007
Computer simulation presents a variety of opportunities for high school students to receive exposure to mathematics and engineering in the real world. We describe in a highlevel w...
243
click to vote
EMNLP
2004
15 years 9 months ago
2004
Given a parallel parsed corpus, statistical treeto-tree alignment attempts to match nodes in the syntactic trees for a given sentence in two languages. We train a probabilistic tr...
188
Voted
VLSID
2007
IEEE
16 years 8 months ago
2007
IEEE
Accurate electrical masking modeling represents a significant challenge in soft error rate analysis for combinational logic circuits. In this paper, we use table lookup MOSFET mode...