Sciweavers

878 search results - page 29 / 176
» Choice and development
Sort
View
136
Voted
IEAAIE
2005
Springer
15 years 10 months ago
Generating Personalized Tourist Map Descriptions
When visiting cities as tourists, most users intend to explore the area looking for interesting things to see or for information about places, events, and so on. An adaptive inform...
Berardina De Carolis, Giovanni Cozzolongo, Sebasti...
CLUSTER
2003
IEEE
15 years 10 months ago
Performance Analysis of Java Message-Passing Libraries on Fast Ethernet, Myrinet and SCI Clusters
The use of Java for parallel programming on clusters according to the message-passing paradigm is an attractive choice. In this case, the overall application performance will larg...
Guillermo L. Taboada, Juan Touriño, Ramon D...
CIE
2010
Springer
15 years 9 months ago
The Peirce Translation and the Double Negation Shift
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
Martín Hötzel Escardó, Paulo Ol...
FPLAY
2008
15 years 6 months ago
Construction of cybertypes in Lineage II: an analysis of game interfaces and support documentation
This paper discusses social exclusion by analyzing the avatar creation interface of the massively multiplayer online roleplaying game (MMORPG) Lineage II. We use a previously deve...
Victoria McArthur, Tyler M. Pace, Aaron R. Houssia...
IJCAI
2007
15 years 6 months ago
A New Perspective on Stable Models
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz