4894 search results - page 400 / 979 » Choices |
181
click to vote
SIAMSC
2008
15 years 7 months ago
2008
With the rise in popularity of compatible finite element, finite difference and finite volume discretizations for the time domain eddy current equations, there has been a correspon...
229
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
151
click to vote
IJCV
2007
15 years 7 months ago
2007
A novel method is introduced for the stabilization of short image sequences. Stabilization is achieved by means of fixation of the central image region using a variable window siz...
182
click to vote
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
Significant opportunities for power optimization exist at application design stage and are not yet fully exploited by system and application designers. We describe the challenges ...
197
click to vote
IJIS
2007
15 years 7 months ago
2007
In this paper, we introduce principles for ontology-based querying of information bases. We consider a framework in which a basis ontology over atomic concepts in combination with ...