Sciweavers

1648 search results - page 189 / 330
» Structuring namespace descriptions
Sort
View
AGTIVE
1999
Springer
15 years 8 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 8 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 8 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 8 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 8 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