Sciweavers

465 search results - page 70 / 93
» Letter from the Editor
Sort
View
AVI
1996
13 years 9 months ago
A visual interface for synchronous collaboration and negotiated transactions
: This paper introduces a visual interface for computer-supported cooperative work (CSCW). The interface is an extension of the editor interface of ESCHER, a prototype database sys...
Lutz Michael Wegner, Manfred Paul 0002, Jens Thamm...
JIIS
2008
104views more  JIIS 2008»
13 years 7 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
TOG
2008
134views more  TOG 2008»
13 years 7 months ago
Interactive visual editing of grammars for procedural architecture
We introduce a real-time interactive visual editing paradigm for shape grammars, allowing the creation of rulebases from scratch without text file editing. In previous work, shape...
Markus Lipp, Peter Wonka, Michael Wimmer
JUCS
2007
165views more  JUCS 2007»
13 years 7 months ago
An Adaptable Framework for Ontology-based Content Creation on the Semantic Web
: Creation of rich, ontology-based metadata is one of the major challenges in developing the Semantic Web. Emerging applications utilizing semantic web techniques, such as semantic...
Onni Valkeapää, Olli Alm, Eero Hyvö...
MANSCI
2007
107views more  MANSCI 2007»
13 years 7 months ago
Biform Games
Both noncooperative and cooperative game theory have been applied to business strategy. We propose a hybrid noncooperative-cooperative game model, which we call a biform game. Thi...
Adam Brandenburger, Harborne Stuart