1228 search results - page 73 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
153
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents w...
202
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
It has been shown that the sparse grid combination technique can be a practical tool to solve high dimensional PDEs arising in multidimensional option pricing problems in finance...
179
click to vote
ACL
2010
15 years 4 months ago
2010
This is a system demo for a set of tools for translating texts between multiple languages in real time with high quality. The translation works on restricted languages, and is bas...
145
click to vote
IPPS
2007
IEEE
16 years 19 days ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
171
click to vote
CW
2008
IEEE
16 years 24 days ago
2008
IEEE
The availability of intuitive, user-friendly and specialized software to work with 3D models of cultural heritage artifacts is as important as the availability of low-cost and rob...