642 search results - page 94 / 129 » corr 2006 |
77
Voted
CORR
2006
Springer
14 years 10 months ago
2006
Springer
This paper considers the quantization problem on the Grassmann manifold Gn,p, the set of all p-dimensional planes (through the origin) in the n-dimensional Euclidean space. The ch...
64
Voted
CORR
2006
Springer
14 years 10 months ago
2006
Springer
The science of complexity is based on a new way of thinking that stands in sharp contrast to the philosophy underlying Newtonian science, which is based on reductionism, determinis...
73
Voted
CORR
2006
Springer
14 years 10 months ago
2006
Springer
A plethora of aspect mechanisms exist today. All of these diverse mechanisms integrate concerns into artifacts that exhibit crosscutting structure. What we lack and need is a char...
112
Voted
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
113
click to vote
CORR
2006
Springer
14 years 10 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...