Sciweavers

4983 search results - page 560 / 997
» order 2008
Sort
View
JLP
2008
134views more  JLP 2008»
15 years 7 months ago
Backwards type analysis of asynchronous method calls
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
Einar Broch Johnsen, Ingrid Chieh Yu
JLP
2008
98views more  JLP 2008»
15 years 7 months ago
Comparing disjunctive modal transition systems with an one-selecting variant
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
Harald Fecher, Heiko Schmidt
JMLR
2008
209views more  JMLR 2008»
15 years 7 months ago
Bayesian Inference and Optimal Design for the Sparse Linear Model
The linear model with sparsity-favouring prior on the coefficients has important applications in many different domains. In machine learning, most methods to date search for maxim...
Matthias W. Seeger
JMM2
2008
102views more  JMM2 2008»
15 years 7 months ago
Logical Mapping: An Intermedia Synchronization Model for Multimedia Distributed Systems
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...
Saul Pomares Hernandez, Luis A. Morales Rosales, J...
JMM2
2008
81views more  JMM2 2008»
15 years 7 months ago
What Conditions are Required to Effectively Use Augmented Reality for Manuals in Actual Work
Augmented Reality (AR) is expected to be applied to manuals for assembling or inspecting tasks instead of traditional paper-based ones. Our previous study revealed that when an AR ...
Miwa Nakanishi, Mugihiko Ozeki, Toshiya Akasaka, Y...