3299 search results - page 75 / 660 » A general mathematics of names |
164
click to vote
ISPAN
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
168
click to vote
DAM
2008
15 years 6 months ago
2008
We report on ideas, problems and results, which occupied us during the past decade and which seem to extend the frontiers of information theory in several directions. The main con...
188
click to vote
ISSAC
2009
Springer
16 years 22 days ago
2009
Springer
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
177
click to vote
CLA
2007
15 years 7 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
128
click to vote
OOPSLA
2007
Springer
16 years 10 days ago
2007
Springer
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...