Sciweavers

7366 search results - page 554 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
CADE
2012
Springer
13 years 9 months ago
Rewriting Induction + Linear Arithmetic = Decision Procedure
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...
Stephan Falke, Deepak Kapur
IUI
2010
ACM
16 years 3 months ago
Personalized news recommendation based on click behavior
Online news reading has become very popular as the web provides access to news articles from millions of sources around the world. A key challenge of news websites is to help user...
Jiahui Liu, Peter Dolan, Elin Rønby Pederse...
171
Voted
LREC
2010
120views Education» more  LREC 2010»
15 years 8 months ago
Influence of Module Order on Rule-Based De-identification of Personal Names in Electronic Patient Records Written in Swedish
Electronic patient records (EPRs) are a valuable resource for research but for confidentiality reasons they cannot be used freely. In order to make EPRs available to a wider group...
Elin Carlsson, Hercules Dalianis
ICDE
2007
IEEE
110views Database» more  ICDE 2007»
16 years 1 months ago
Embedding Emotional Context in Recommender Systems
Emotional context is becoming a promising paradigm to develop more intuitive and sensitive recommender systems. Ambient Recommender Systems, arise from the analysis of new trends ...
Gustavo González, Josep Lluís de la ...
C5
2005
IEEE
16 years 17 days ago
P2P e-Learning System and Its Squeak-Based User Interface
In this paper, we present a novel framework for asynchronous Web-based training. The proposed system has two distinguishing features. Firstly, it is based on P2P architecture for ...
Takao Kawamura, Ryosuke Nakatani, Kazunori Sugahar...