13913 search results - page 306 / 2783 » models 2007 |
177
click to vote
JSYML
2007
15 years 7 months ago
2007
The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of ...
180
click to vote
BC
1999
15 years 7 months ago
1999
An ecient new method for the exact digital simulation of time-invariant linear systems is presented. Such systems are frequently encountered as models for neuronal systems, or as s...
196
click to vote
MVA
2002
15 years 7 months ago
2002
This article introduces briefly recent topics concerning the use of virtual human body (VHB)'in medicine. Potential use of VHB as a model of the human body is first described...
155
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper a novel reuse approach called context-based modeling is proposed. Context-based modeling combines the reuse mechanisms aggregation, restriction, and specialization. C...
184
click to vote
FASE
2010
Springer
16 years 2 months ago
2010
Springer
f abstraction, providing an effective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate S...