UTP
2010
13 years 10 months ago
2010
UTP
2010
13 years 10 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
UTP
2010
13 years 10 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
UM
2010
Springer
13 years 10 months ago
2010
Springer
Recommender systems, as a type of Web personalized service to support users’ online product searching, have been widely developed in recent years but with primary emphasis on alg...
UM
2010
Springer
13 years 10 months ago
2010
Springer
Semantically-enhanced Ubiquitous User Modeling aims at the management of distributed user models and the integration into ontologies to share user information amongst adaptive appl...
UM
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Telecommunication applications based on user modeling focus on extracting customer behavior and preferences from the information implicitly included in Call Detail Record...
TOOLS
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract. Java provides a specification for a user-defined general purpose equivalence operator for objects, but collections such as Set have more stringent requirements. This in...
PPDP
2010
Springer
13 years 10 months ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...
PPDP
2010
Springer
13 years 10 months ago
2010
Springer
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
PPDP
2010
Springer
13 years 10 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...