1959 search results - page 35 / 392 » Concerned About Separation |
LICS
2002
IEEE
15 years 4 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
ISCAS
2002
IEEE
15 years 4 months ago
2002
IEEE
A blind source separation algorithm is used to estimate the mixing operator from electromagnetic emission signals through independent component analysis (ICA) technique. The mixin...
102
click to vote
JOCN
2010
14 years 10 months ago
2010
■ Decision-making about affective value may occur after the reward value of a stimulus is represented and may involve different brain areas to those involved in decision-making ...
SIGCSE
2009
ACM
15 years 6 months ago
2009
ACM
Jeannette Wing’s call for teaching Computational Thinking (CT) as a formative skill on par with reading, writing, and arithmetic places computer science in the category of basic...
125
click to vote
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...