29172 search results - page 218 / 5835 » Modeling Systems in CLP |
138
click to vote
ASPLOS
2006
ACM
16 years 3 days ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...
179
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Efficient algorithms exist for fault detection and isolation of physical systems based on functional redundancy. In a qualitative approach, this redundancy can be captured by a tem...
149
click to vote
SI3D
1999
ACM
15 years 10 months ago
1999
ACM
We present a system for rendering very complex 3D models at interactive rates. We select a subset of the model as preferred viewpoints and partition the space into virtual cells. ...
193
click to vote
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
In evolutionary robotics, controllers are often designed in simulation, then transferred onto the real system. Nevertheless, when no accurate model is available, controller transfe...
152
click to vote
ASE
2008
15 years 6 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...