3047 search results - page 479 / 610 » A Temporal Consensus Model |
151
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
169
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Word-of-mouth communication has been shown to play a key role in a variety of environments such as viral marketing and virus spreading. A family of algorithms, generally known as ...
164
click to vote
ICDM
2009
IEEE
16 years 29 days ago
2009
IEEE
— In a data-mining approach, a model for estimation of Aerosol Optical Depth (AOD) from satellite observations is learned using collocated satellite and groundbased observations....
159
click to vote
IROS
2009
IEEE
16 years 28 days ago
2009
IEEE
— We consider the problem of tracking multiple moving robots using noisy sensing of inter-robot and interbeacon distances. Sensing is local: there are three fixed beacons at kno...
139
click to vote
LICS
2009
IEEE
16 years 28 days ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...