4763 search results - page 186 / 953 » On the Execution of Deep Models |
176
click to vote
IAT
2006
IEEE
16 years 18 days ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
179
click to vote
MKWI
2008
15 years 8 months ago
2008
: This paper shows how Model Driven Engineering (MDE) and Business Process Management (BPM) can be combined when generating executable BPEL processes out of BPMN models. By adding ...
173
click to vote
TCS
2008
15 years 6 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, Previously I presented ways to compute arithmetic functions, such as addition and multiplic...
141
click to vote
ICWE
2007
Springer
16 years 21 days ago
2007
Springer
Model-driven engineering (MDE) techniques address rapid changes anguages and platforms by lifting the abstraction level from code to models. On the one hand models are transformed ...
151
click to vote
SPIN
2005
Springer
16 years 20 hour ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...