3229 search results - page 200 / 646 » Theories with the Independence Property |
129
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
An imaging system which simultaneously performs near infrared (NIR) tomography and magnetic resonance imaging (MRI) has been developed at Dartmouth College, to study breast tissue...
156
click to vote
IJCNN
2007
IEEE
16 years 24 days ago
2007
IEEE
—In this paper, a new model that can ultimately create its own set of perceptual features is proposed. Using a bidirectional associative memory (BAM)-inspired architecture, the r...
149
click to vote
DSN
2005
IEEE
16 years 4 days ago
2005
IEEE
1 In sub-micron technology circuits high integration levels coupled with the increased sensitivity to soft errors even at ground level make the task of guaranteeing systems’ depe...
179
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
In a scan-based system with a large number of flip-flops, a major component of power is consumed during scanshift and clocking operation in test mode. In this paper, a novel scan-...
239
click to vote
APN
2010
Springer
15 years 10 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...