7557 search results - page 1418 / 1512 » Modeling Timed Concurrent Systems |
121
click to vote
ISMB
1994
15 years 2 months ago
1994
Wepresent algorithms for kinematic manipulation of molecular chains subject to fixed bond lengths and bond angles. They are useful for calculating conformations of a molecule subj...
110
click to vote
SLP
1994
15 years 2 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
100
click to vote
AIPS
2009
15 years 2 months ago
2009
Nowadays many urban areas have been equipped with networks of surveillance cameras, which can be used for automatic localization and tracking of people. However, given the large r...
107
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we study, for the first time explicitly, the implications of endowing an interested party (i.e. a teacher) with the ability to modify the underlying dynamics of the ...
128
click to vote
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Until recently, computational aspects of the Shapley value were only studied under the assumption that there are no externalities from coalition formation, i.e., that the...