4763 search results - page 366 / 953 » On the Execution of Deep Models |
181
click to vote
STEP
2005
IEEE
16 years 1 months ago
2005
IEEE
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
198
Voted
VL
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
225
click to vote
SPIN
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
215
click to vote
IDA
1999
Springer
15 years 12 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
282
click to vote
PODS
1997
ACM
15 years 12 months ago
1997
ACM
In this paper, we present a new cost model for nearest neighbor search in high-dimensional data space. We first analyze different nearest neighbor algorithms, present a generaliza...