Sciweavers

16883 search results - page 278 / 3377
» Generalized Non-Reducible Descriptors
Sort
View
VISSYM
2007
15 years 9 months ago
KeyStrokes: Personalizing Typed Text with Visualization
With the ubiquity of typed text, the style and much of the personality of handwriting has been lost from general communication. To counter this we introduce an artistic real-time ...
Petra Neumann, Annie Tat, Torre Zuk, M. Sheelagh T...
ACMSE
2008
ACM
15 years 8 months ago
A little language for surveys: constructing an internal DSL in Ruby
Using a problem domain motivated by Bentley's"Little Languages" column [1], this paper explores the use of the Ruby programming language's flexible syntax, dyn...
H. Conrad Cunningham
EICS
2010
ACM
15 years 8 months ago
Exploiting web service annotations in model-based user interface development
In this paper we present a method and the associated tool support able to exploit the content of Web service annotations in model-based user interface design and development. We a...
Fabio Paternò, Carmen Santoro, Lucio Davide...
ATAL
2008
Springer
15 years 8 months ago
Model-checking agent refinement
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
Lacramioara Astefanoaei, Frank S. de Boer
ATAL
2008
Springer
15 years 8 months ago
What should the agent know?: the challenge of capturing human knowledge
Reports of applications that include agent-based models of human behaviour tend to focus on the applications themselves and the success of the modelling exercise. They give little...
Emma Norling