6320 search results - page 856 / 1264 » Towards Situated Computing |
161
click to vote
CL
2008
Springer
15 years 7 months ago
2008
Springer
Dynamic, unanticipated adaptation of running systems is of interest in a variety of situations, ranging from functional upgrades to on-the-fly debugging or monitoring of critical ...
194
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Many problems in mathematics and computer science can be reduced to proving the satisfiability of conjunctions of literals in a background theory which is often the extension of a ...
188
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
Mesh deformation techniques that preserve the differential properties have been intensively studied. In this paper, we propose an equality-constrained least squares approach for s...
148
click to vote
ENDM
2006
15 years 6 months ago
2006
The students of the Industrial Design department at the TU Eindhoven are allowed to design part of their curriculum by selecting courses from a huge course pool. They do this by ha...
178
click to vote
CGF
2007
15 years 6 months ago
2007
In this paper, we propose a robust and efficient Lagrangian approach for modeling dynamic interfaces between different materials undergoing large deformations and topology change...