3384 search results - page 526 / 677 » More Testable Properties |
ACCV
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Scene categorization is an important mechanism for providing high-level context which can guide methods for a more detailed analysis of scenes. State-of-the-art technique...
AOSD
2011
ACM
13 years 5 months ago
2011
ACM
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining cont...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
We consider the classical finite-state discounted Markovian decision problem, and we introduce a new policy iteration-like algorithm for finding the optimal state costs or Q-facto...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
We address the consensus-based distributed linear filtering problem, where a discrete time, linear stochastic process is observed by a network of sensors. We assume that the consen...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
Potential games are a special class of games that admit tractable static and dynamic analysis. Intuitively, games that are "close" to a potential game should enjoy somewh...