Sciweavers

16616 search results - page 174 / 3324
» Extending Extended Vacuity
Sort
View
88
Voted
ICTAC
2004
Springer
15 years 10 months ago
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tr...
IFIP
2004
Springer
15 years 10 months ago
Nested Commits for Mobile Calculi: Extending Join
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
Roberto Bruni, Hernán C. Melgratti, Ugo Mon...
IWCM
2004
Springer
15 years 10 months ago
Optimal Filters for Extended Optical Flow
Estimation of optical flow and physically motivated brightness changes can be formulated as parameter estimation in linear models. Accuracy of this estimation heavily depends on t...
Hanno Scharr
MABS
2004
Springer
15 years 10 months ago
Extending Time Management Support for Multi-agent Systems
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
Alexander Helleboogh, Tom Holvoet, Danny Weyns, Yo...