Sciweavers

1648 search results - page 189 / 330
» Structuring namespace descriptions
Sort
View
AGTIVE
1999
Springer
15 years 10 months ago
Creating Semantic Representations of Diagrams
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...
Mark Minas
CIKM
1999
Springer
15 years 10 months ago
Binary String Relations: A Foundation for Spatiotemporal Knowledge Representation
The paper is concerned with the qualitative representation of spatiotemporal relations. We initially propose a multiresolution framework for the representation of relations among ...
Vasilis Delis, Thanasis Hadzilacos
IPPS
1998
IEEE
15 years 10 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa
WEBDB
1999
Springer
196views Database» more  WEBDB 1999»
15 years 10 months ago
Web Ecology: Recycling HTML Pages as XML Documents Using W4F
In this paper we present the World-Wide Web Wrapper Factory (W4F), a Java toolkit to generate wrappers for Web data sources. Some key features of W4F are an expressive language to...
Arnaud Sahuguet, Fabien Azavant
CODES
1997
IEEE
15 years 10 months ago
Software Architecture Synthesis for Retargetable Real-time Embedded Systems
– Retargetability of embedded system descriptions not only enables better exploration of the design space and evaluation of cost/performance tradeoffs but also enhances design ma...
Pai H. Chou, Gaetano Borriello