14331 search results - page 220 / 2867 » On the modeling and analysis of obligations |
138
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
In functional Magnetic Resonance Imaging group studies, uncertainties on the individual BOLD responses are not taken into account by standard detection procedures, which may limit...
155
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
205
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Spectrum handoff occurs when the primary users appear in the licensed band occupied by the secondary users. Spectrum handoff procedures aim to help the secondary users to vacat...
142
click to vote
ICMCS
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper we present a clustering-based method for representing semantic concepts on multimodal low-level feature spaces and study the evaluation of the goodness of such model...
175
click to vote
FSE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In this paper, we propose a 2/3-rate double length compression function and study its security in the black-box model. We prove that to get a collision attack for the com...