1959 search results - page 124 / 392 » Concerned About Separation |
134
Voted
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
138
click to vote
MICCAI
2010
Springer
15 years 2 months ago
2010
Springer
We propose a framework for the extraction of biomarkers from low-dimensional manifolds representing inter- and intra-subject brain variation in MR image data. The coordinates of ea...
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
Power systems under stress can show large voltage angle differences between areas that can be monitored by wide area phasor measurements. One way to make this idea more specific ...
152
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
134
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
The management of customer relationships has become a top priority for companies in the last years. Despite this, little is known about the factors of successful CRM implementatio...