20066 search results - page 245 / 4014 » T Spaces |
182
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity th...
198
click to vote
PADL
2001
Springer
15 years 11 months ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
145
click to vote
CSL
2000
Springer
15 years 11 months ago
2000
Springer
We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent pro...
182
click to vote
ICDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
To provide real-time service or engineer constrained-based paths, networks require the underlying routing algorithm to be able to find low-cost paths that satisfy given Quality-of...
146
click to vote
FUZZY
1997
Springer
15 years 10 months ago
1997
Springer
It is introduced a new concept: H-sets which generalises the notion of fuzzy sets and is based on the concept of hemilattice. Then, we extend the attribute-value conceptual spaces ...