1221 search results - page 107 / 245 » A Comparison of Two Programming Models for Pervasive Computi... |
173
click to vote
FIDJI
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
162
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...
143
click to vote
EPIA
2007
Springer
16 years 14 days ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
161
click to vote
IJCNN
2008
IEEE
16 years 22 days ago
2008
IEEE
— A novel sparse kernel density estimator is derived based on a regression approach, which selects a very small subset of significant kernels by means of the D-optimality experi...
187
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
Longitudinal data arises in many applications in which the goal is to understand changes in individual entities over time. In this paper, we present a method for analyzing longitu...