2502 search results - page 443 / 501 » Using probabilistic model checking in systems biology |
195
click to vote
ICDT
2009
ACM
16 years 16 days ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
100
click to vote
ROBOCOMM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—Robust, dependable and concise coordination between members of a robot team is a critical ingredient of any such collective activity. Depending on the availability and t...
USENIX
2003
15 years 1 months ago
2003
— This paper proposes CUP, a protocol for performing Controlled Update Propagation to maintain caches of metadata in peer-to-peer networks. To moderate propagation without imposi...
103
click to vote
RAS
2000
14 years 11 months ago
2000
A mobile agent with the task to classify its sensor pattern has to cope with ambiguous information. Active recognition of three-dimensional objects involves the observer in a sear...
110
click to vote
PAMI
2007
14 years 11 months ago
2007
—We present a real-time algorithm which can recover the 3D trajectory of a monocular camera, moving rapidly through a previously unknown scene. Our system, which we dub MonoSLAM,...