Sciweavers

2413 search results - page 177 / 483
» Models for universal usability
Sort
View
110
Voted
FOSSACS
2009
Springer
15 years 7 months ago
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
Lars Birkedal, Kristian Støvring, Jacob Tha...
STORYTELLING
2007
Springer
15 years 6 months ago
Wide Ruled: A Friendly Interface to Author-Goal Based Story Generation
We present Wide Ruled, an authoring tool for the creation of generative stories. It is based on the Universe author-goal-based model of story generation, and extends this model by ...
James Skorupski, Lakshmi Jayapalan, Sheena Marquez...
127
Voted
TIME
2006
IEEE
15 years 6 months ago
In time alone: on the computational power of querying the history
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
Alexei Lisitsa, Igor Potapov
86
Voted
ICALT
2005
IEEE
15 years 6 months ago
Building Repositories of Learning Objects in Specialized Domains: The Chasqui Approach
In this paper we describe the Chasqui approach to the construction of repositories of learning objects (LO) in specific knowledge areas. This approach is the result of our experie...
José Luis Sierra, Alfredo Fernández-...
83
Voted
MOBICOM
2004
ACM
15 years 6 months ago
Characterizing flows in large wireless data networks
Several studies have recently been performed on wireless university campus networks, corporate and public networks. Yet little is known about the flow-level characterization in s...
Xiaoqiao Meng, Starsky H. Y. Wong, Yuan Yuan, Song...