1648 search results - page 177 / 330 » A Modelling Framework for Functional Imagination |
143
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
155
click to vote
IM
2007
15 years 4 months ago
2007
Abstract— Software components embedded in ubiquitous systems, especially those using wireless networking, are subject to unpredictable behaviors inherent to using these systems i...
135
Voted
ENTCS
2010
15 years 3 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
143
Voted
ICIP
1997
IEEE
16 years 5 months ago
1997
IEEE
In this paper we introduce a novel optimization framework for hierarchical data clustering and apply it to the problem of unsupervised texture segmentation. The proposed objective...
122
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
In this paper, we propose a probabilistic kernel approach to preference learning based on Gaussian processes. A new likelihood function is proposed to capture the preference relat...