4772 search results - page 715 / 955 » An approach to interface synthesis |
221
click to vote
JMLR
2010
15 years 1 months ago
2010
The FastInf C++ library is designed to perform memory and time efficient approximate inference in large-scale discrete undirected graphical models. The focus of the library is pro...
184
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Finding relevant information within the vast amount of information exchanged via feeds is difficult. Previous research into this problem has largely focused on recommending relev...
261
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
This paper discusses an approach for transforming solitary exercises into social exergames. We frame our discussion by highlighting the relation between the original exercises and...
203
click to vote
SEMWEB
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. This paper presents the CultureSampo system from the viewpoint of publishing heterogeneous linked data as a service. Discussed are the problems of converting legacy data ...
209
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...