281 search results - page 24 / 57 » A Method for Invariant Generation for Polynomial Continuous ... |
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—We consider the problem of jointly optimizing channel pairing, channel-user assignment, and power allocation in a single-relay multiple-access system. The optimization o...
FMSD
2000
13 years 7 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
FM
1999
Springer
13 years 12 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
HICSS
2000
IEEE
14 years 2 days ago
2000
IEEE
Given the load profile of an electricity market and the capabilities of the set of generators supplying power to that market, it is likely that at any given point in time, availab...
CLOR
2006
13 years 11 months ago
2006
We describe an approach to object retrieval which searches for and localizes all the occurrences of an object in a video, given a query image of the object. The object is represent...