4586 search results - page 386 / 918 » Computing stable models in parallel |
179
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— Programming a humanoid robot to perform an action that takes the robot’s complex dynamics into account is a challenging problem. Traditional approaches typically require high...
177
click to vote
FASE
2007
Springer
15 years 11 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
136
Voted
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
179
click to vote
CONCUR
1997
Springer
15 years 9 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
136
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Due to the extensive requirement of memory and speed for direct numerical simulation (DNS) of channel turbulence, people can only perform DNS at moderate Reynolds number before. W...