3166 search results - page 604 / 634 » Translation By Structural Correspondences |
131
Voted
ISRR
2005
Springer
15 years 6 months ago
2005
Springer
A novel model for dynamic emergence and adaptation of embodied behavior is proposed. A musculo-skeletal system is controlled by a number of chaotic elements, each of which driving...
108
click to vote
KI
2005
Springer
15 years 6 months ago
2005
Springer
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...
95
Voted
RTA
2005
Springer
15 years 6 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
100
Voted
DOLAP
2004
ACM
15 years 6 months ago
2004
ACM
During the few last years, several approaches have been proposed to model different aspects of a Data Warehouse (DW), such as the conceptual model of the DW, the design of the ET...
124
Voted
SAC
2004
ACM
15 years 6 months ago
2004
ACM
The selection of a cost-minimizing combination of hardware and network components that satisfy organizational requirements is a complex design problem with multiple degrees of fre...