Sciweavers

6054 search results - page 414 / 1211
» Implementation of Andorra-based Languages
Sort
View
WECWIS
1999
IEEE
162views ECommerce» more  WECWIS 1999»
15 years 12 months ago
A Conceptual Annotation Approach to Indexing in a Web-Based Information System
All the specialists have agreed that the possibility of adding to multimedia WWW objects some sort of `conceptual' annotations describing their information content would grea...
Elisa Bertino, Barbara Catania, Gian Piero Zarri
VL
1998
IEEE
116views Visual Languages» more  VL 1998»
15 years 12 months ago
Programming Web-Based Applications within a Data-Flow VL
This paper shows how a general purpose data flow visual programming environment can be effectively used to find, collect and manipulate information available on the web. The discu...
Roberto Idini, Mauro Mosconi, Marco Porta
VL
1998
IEEE
172views Visual Languages» more  VL 1998»
15 years 12 months ago
VIQING: Visual Interactive Querying
This paper presents VIQING, an environment for expressing queries via direct manipulation of data visualizations. VIQING provides a simple graphical interface for connecting visua...
Chris Olston, Michael Stonebraker, Alexander Aiken...
CADE
1998
Springer
15 years 12 months ago
Automated Theorem Proving in a Simple Meta-Logic for LF
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
Carsten Schürmann, Frank Pfenning
POPL
1998
ACM
15 years 12 months ago
A Functional Representation of Data Structures with a Hole
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
Yasuhiko Minamide