Sciweavers

2024 search results - page 87 / 405
» The Meaning of Ordered SOS
Sort
View
HASKELL
2006
ACM
14 years 5 months ago
GenI: natural language generation in Haskell
In this article we present GenI, a chart based surface realisation tool implemented in Haskell. GenI takes as input a set of first order terms (the input semantics) and a grammar...
Eric Kow
RTA
2005
Springer
14 years 4 months ago
Proving Positive Almost-Sure Termination
Abstract In order to extend the modeling capabilities of rewriting systems, it is rather natural to consider that the firing of rules can be subject to some probabilistic laws. Co...
Olivier Bournez, Florent Garnier
SG
2005
Springer
14 years 4 months ago
Visualizing Emotion in Musical Performance Using a Virtual Character
We describe an immersive music visualization application which enables interaction between a live musician and a responsive virtual character. The character reacts to live performa...
Robyn Taylor, Pierre Boulanger, Daniel Torres
ACMICEC
2004
ACM
90views ECommerce» more  ACMICEC 2004»
14 years 4 months ago
SmartRestaurant: mobile payments in context-aware environment
Mobility, context-awareness and payment combined provide a customer with a completely new setting of consuming services at any time and any place. We introduce SmartRestaurant ser...
Janne Lukkari, Jani Korhonen, Timo Ojala
WEBI
2004
Springer
14 years 4 months ago
Using Semantic Graphs in Clustering Process : Enhance Information Level
In this paper, we particularly focused our attention on how to enhance expressivity of ontologies when used as organized space values in a catalogue request process. Using the Wis...
Jean-Sébastien Brunner, Isabelle Berrien