5066 search results - page 374 / 1014 » Spectra of structures and relations |
143
click to vote
SIGADA
2004
Springer
16 years 22 hour ago
2004
Springer
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...
144
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose the implementation of a distributed system for DL storage and retrieval which relies on two earlier developed technologies: buckets and document linking based on user r...
210
click to vote
BTW
1999
Springer
15 years 11 months ago
1999
Springer
Conceptual Information Systems provide a multi-dimensional conceptually structured view on data stored in relational databases. On restricting the expressiveness of the retrieval l...
158
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. ...
163
click to vote
GIS
1992
ACM
15 years 10 months ago
1992
ACM
A new approach to representing qualitative spatial knowledge and to spatial reasoning is presented. This approach is motivated by cognitive considerations and is based on relative ...