Sciweavers

1798 search results - page 166 / 360
» Considerations for the design of exergames
Sort
View
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
15 years 5 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
DAGM
2010
Springer
15 years 4 months ago
An Empirical Comparison of Inference Algorithms for Graphical Models with Higher Order Factors Using OpenGM
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
Björn Andres, Jörg H. Kappes, Ullrich K&...
DATESO
2010
150views Database» more  DATESO 2010»
15 years 4 months ago
Evolving Quasigroups by Genetic Algorithms
Abstract. Quasigroups are a well-known combinatorial design equivalent to more familiar Latin squares. Because all possible elements of a quasigroup occur with equal probability, i...
Václav Snásel, Jiri Dvorský, ...
ICIP
2010
IEEE
15 years 4 months ago
Curvature analysis of pattern transformation manifolds
Transformation manifolds are quite attractive for image analysis applications that require transformation invariance properties. The geometric structure of a transformation manifo...
Elif Vural, Pascal Frossard
FAST
2009
15 years 4 months ago
Enabling Transactional File Access via Lightweight Kernel Extensions
Transactions offer a powerful data-access method used in many databases today trough a specialized query API. User applications, however, use a different fileaccess API (POSIX) wh...
Richard P. Spillane, Sachin Gaikwad, Manjunath Chi...