Sciweavers

2830 search results - page 216 / 566
» A Development Tool for E-learning Applications
Sort
View
ASM
2010
ASM
14 years 11 months ago
Matelas: A Predicate Calculus Common Formal Definition for Social Networking
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
Néstor Cataño, Camilo Rueda
ICECCS
2010
IEEE
153views Hardware» more  ICECCS 2010»
14 years 11 months ago
Patterns for Modelling Time and Consistency in Business Information Systems
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
Jeremy W. Bryans, John S. Fitzgerald, Alexander Ro...
ICASSP
2011
IEEE
14 years 3 months ago
Augmented complex matrix factorisation
A novel framework for the factorisation of complex-valued data is derived using recent developments in complex statistics. Unlike existing factorisation tools the algorithms can c...
David Looney, Danilo P. Mandic
ICTAI
2007
IEEE
15 years 5 months ago
Constructing VEGGIE: Machine Learning for Context-Sensitive Graph Grammars
Context-sensitive graph grammar construction tools have been used to develop and study interesting languages. However, the high dimensionality of graph grammars result in costly e...
Keven Ates, Kang Zhang
KBSE
2006
IEEE
15 years 5 months ago
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions
The widespread adoption of Free and Open Source Software (FOSS) in many strategic contexts of the information technology society has drawn the attention on the issues regarding ho...
Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, ...