Sciweavers

8719 search results - page 1550 / 1744
» A Categorical Approach to Simulations
Sort
View
JAISE
2010
111views Algorithms» more  JAISE 2010»
14 years 8 months ago
The missing ones: Key ingredients towards effective ambient assisted living systems
The population of elderly people keeps increasing rapidly in the past decades, which becomes a predominant aspect of our societies. As such, solutions both efficacious and cost-eff...
Hong Sun, Vincenzo De Florio, Ning Gui, Chris Blon...
JCST
2010
189views more  JCST 2010»
14 years 8 months ago
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
Osman Hasan, Sofiène Tahar
JFR
2010
119views more  JFR 2010»
14 years 8 months ago
Unsupervised classification of dynamic obstacles in urban environments
This paper presents a solution to the problem of unsupervised classification of dynamic obstacles in urban environments. A track-based model is introduced for the integration of 2...
Roman Katz, Juan Nieto, Eduardo Mario Nebot
JMLR
2010
169views more  JMLR 2010»
14 years 8 months ago
Consensus-Based Distributed Support Vector Machines
This paper develops algorithms to train support vector machines when training data are distributed across different nodes, and their communication to a centralized processing unit...
Pedro A. Forero, Alfonso Cano, Georgios B. Giannak...
JSS
2010
142views more  JSS 2010»
14 years 8 months ago
Analysis of service availability for time-triggered rejuvenation policies
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
Felix Salfner, Katinka Wolter
« Prev « First page 1550 / 1744 Last » Next »