Sciweavers

2695 search results - page 272 / 539
» The Complexity of Forecast Testing
Sort
View
AAAI
2008
15 years 6 months ago
Hyperequivalence of Logic Programs with Respect to Supported Models
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
Miroslaw Truszczynski, Stefan Woltran
145
Voted
WSC
2007
15 years 6 months ago
Visualization of users' activities in a specific environment
Evaluation of user interface design is usually based on usability testing methods. In this paper we analyzed and described the user behavior in the form of the user model. The use...
Zdenek Mikovec, Ivo Malý, Pavel Slaví...
DEXA
2006
Springer
171views Database» more  DEXA 2006»
15 years 6 months ago
Automating the Choice of Decision Support System Architecture
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
Estella Annoni, Franck Ravat, Olivier Teste, Gille...
CRYPTO
2008
Springer
165views Cryptology» more  CRYPTO 2008»
15 years 6 months ago
Efficient Secure Linear Algebra in the Presence of Covert or Computationally Unbounded Adversaries
In this work we study the design of secure protocols for linear algebra problems. All current solutions to the problem are either inefficient in terms of communication complexity o...
Payman Mohassel, Enav Weinreb
ICDE
2007
IEEE
173views Database» more  ICDE 2007»
15 years 6 months ago
A Hybrid Recommender System for Context-aware Recommendations of Mobile Applications
The goal of the work in this paper is towards the incorporation of context in recommender systems in the domain of mobile applications. The approach recommends mobile applications...
Wolfgang Wörndl, Christian Schüller, Rol...