Sciweavers

4708 search results - page 287 / 942
» Generating the Structure of Argument
Sort
View
CONCUR
2008
Springer
15 years 8 months ago
A Notion of Glue Expressiveness for Component-Based Systems
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
Simon Bliudze, Joseph Sifakis
VL
1999
IEEE
115views Visual Languages» more  VL 1999»
15 years 11 months ago
Virtual Worlds as Metaphors for Web Sites Exploration: Are They Effective?
This work discusses the effectiveness of desktop virtual reality as a metaphor for navigating through information in structured Web sites. The work is based on a model for informa...
Augusto Celentano
DAC
1998
ACM
15 years 11 months ago
M32: A Constructive multilevel Logic Synthesis System
We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthe...
Victor N. Kravets, Karem A. Sakallah
COLING
2008
15 years 8 months ago
Integrating Motion Predicate Classes with Spatial and Temporal Annotations
We propose a spatio-temporal markup for the annotation of motion predicates in text, informed by a lexical semantic classification of these verbs. We incorporate this classificati...
James Pustejovsky, Jessica L. Moszkowicz
DAGSTUHL
2006
15 years 8 months ago
GNU TeXmacs
There is a common belief that wysiwyg technical editors are not suited for editing structured texts and generating documents with a high typographical quality. In this paper, we an...
Joris van der Hoeven