1855 search results - page 114 / 371 » Composing model programs for analysis |
115
click to vote
ICCV
2005
IEEE
15 years 9 months ago
2005
IEEE
The representation and modelling of regions is an important topic in computer vision. In this paper, we represent a region via a level set of a ‘phase field’ function. The fu...
113
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper develops a model of an electrical power system, with its inherent embedded communication system, for the purpose of studying the characteristics of power system measure...
148
click to vote
AMR
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We report our work towards building user models of learner’s development based upon evidence of their interactions with an e-learning website composed of multimedia lea...
115
click to vote
FPCA
1995
15 years 6 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...
164
click to vote
MEMOCODE
2008
IEEE
15 years 9 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...