Sciweavers

3771 search results - page 228 / 755
» Subobject Transformation Systems
Sort
View
FM
1997
Springer
159views Formal Methods» more  FM 1997»
15 years 8 months ago
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
David Cazier, Jean-François Dufourd
AMAST
2004
Springer
15 years 7 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
ICAD
2004
15 years 5 months ago
Designing Sound: Towards a System for Designing Audio Interfaces using Timbre Spaces
The creation of audio interfaces is currently hampered by the difficulty of designing sounds for them. This paper presents a novel system for generating and manipulating non-speec...
Craig Nicol, Stephen A. Brewster, Philip D. Gray
ACL
1998
15 years 5 months ago
Improving Data Driven Wordclass Tagging by System Combination
In this paper we examine how the differences in modelling between different data driven systems performing the same NLP task can be exploited to yield a higher accuracy than the b...
Hans van Halteren, Jakub Zavrel, Walter Daelemans
VIEWS
1996
81views more  VIEWS 1996»
15 years 5 months ago
A System Prototype for Warehouse View Maintenance
A data warehouse collects and integrates data from multiple, autonomous, heterogeneous, sources. The warehouse e ectively maintains one or more materialized views over the source ...
Janet L. Wiener, Himanshu Gupta, Wilburt Labio, Yu...