26496 search results - page 137 / 5300 » An Approach to Computing Ethics |
136
click to vote
ECUMN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract— The paper presents a location-aware communication approach in smart home environments. It is constructed on a symbolic location model to represent the containment relat...
116
click to vote
IWINAC
2007
Springer
15 years 10 months ago
2007
Springer
Theories of how the brain computes can be differentiated in three general conceptions: the algorithmic approach, the neural information processing (neurocomputational) approach an...
133
click to vote
CAV
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
147
click to vote
CMSB
2009
Springer
15 years 11 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
113
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
We investigate the use of hierarchical Gaussian shortlists to speed up Gaussian likelihood computation. This approach is a combination of hierarchical Gaussian selection and stand...