5510 search results - page 754 / 1102 » Mathematics |
179
click to vote
ECMDAFA
2005
Springer
16 years 10 days ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
198
click to vote
EDCC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
180
click to vote
EMMCVPR
2005
Springer
16 years 10 days ago
2005
Springer
We present a novel approach to the matching of subgraphs for object recognition in computer vision. Feature similarities between object model and scene graph are complemented with ...
163
click to vote
EMO
2005
Springer
16 years 10 days ago
2005
Springer
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...
141
click to vote
FIMH
2005
Springer
16 years 9 days ago
2005
Springer
Numerical simulations of re-entrant waves in detailed ionic models reveal a phenomenon that is impossible in traditional simplified mathematical models of FitzHugh-Nagumo type: di...