Sciweavers

1221 search results - page 107 / 245
» A Comparison of Two Programming Models for Pervasive Computi...
Sort
View
FIDJI
2003
Springer
15 years 8 months ago
Distributed Composite Objects: A New Object Model for Cooperative Applications
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
Guray Yilmaz, Nadia Erdogan
116
Voted
ICALP
2009
Springer
16 years 3 months ago
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
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...
Naoki Kobayashi, C.-H. Luke Ong
107
Voted
EPIA
2007
Springer
15 years 9 months ago
Modelling Morality with Prospective Logic
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...
Luís Moniz Pereira, Ari Saptawijaya
127
Voted
IJCNN
2008
IEEE
15 years 9 months ago
Sparse kernel density estimator using orthogonal regression based on D-Optimality experimental design
— 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...
Sheng Chen, Xia Hong, Chris J. Harris
CVPR
2012
IEEE
13 years 5 months ago
Sasaki metrics for analysis of longitudinal data on manifolds
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...
Prasanna Muralidharan, P. Thomas Fletcher