11455 search results - page 1869 / 2291 » The Rayset and Its Applications |
187
click to vote
RAS
2006
15 years 7 months ago
2006
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
174
click to vote
IJCV
2007
15 years 7 months ago
2007
By examining the problem of image correspondence (binocular stereo and optical flow) and its relationship with other modules such as segmentation, shape and depth estimation, occ...
225
click to vote
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
191
click to vote
IJKL
2007
15 years 7 months ago
2007
: In the light of high profile governmental and international efforts to realise the knowledge society, I review the arguments made for and against it from a technology standpoint....
185
click to vote
AIEDU
2005
15 years 7 months ago
2005
This paper presents the experiment and consequent evaluation of introducing the Logic-ITA in a second year tertiary undergraduate class. The Logic-ITA is a web-based Intelligent Te...