Sciweavers

5799 search results - page 672 / 1160
» Position Paper
Sort
View
VLC
2011
83views more  VLC 2011»
15 years 1 months ago
A decision procedure for a decidable fragment of generalized constraint diagrams
Constraint diagrams were introduced by Kent, in 1997, as an alternative to the OCL for placing formal constraints on software models. Since their introduction, constraint diagrams...
Jim Burton, Gem Stapleton, Ali Hamie
JAISE
2010
111views Algorithms» more  JAISE 2010»
15 years 1 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...
JUCS
2010
159views more  JUCS 2010»
15 years 1 months ago
Authoring of Probabilistic Sequencing in Adaptive Hypermedia with Bayesian Networks
Abstract: One of the difficulties that self-directed learners face on their learning process is choosing the right learning resources. One of the goals of adaptive educational syst...
Sergio Gutiérrez Santos, Jaime Mayor-Berzal...
TSP
2010
15 years 1 months ago
Learning graphical models for hypothesis testing and classification
Sparse graphical models have proven to be a flexible class of multivariate probability models for approximating high-dimensional distributions. In this paper, we propose techniques...
Vincent Y. F. Tan, Sujay Sanghavi, John W. Fisher ...
CORR
2011
Springer
210views Education» more  CORR 2011»
14 years 10 months ago
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
Zoran Majkic