Sciweavers

3897 search results - page 462 / 780
» complexity 2010
Sort
View
ICIP
2010
IEEE
15 years 4 months ago
Position dependent linear intra prediction for image coding
Intra prediction has been efficiently employed in block based image/video coding to remove the spatial redundancy. In this paper, we propose a position dependent linear intra pred...
Li Zhang, Siwei Ma, Wen Gao
TAMC
2010
Springer
15 years 11 months ago
Algebraic Proofs over Noncommutative Formulas
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
Iddo Tzameret
SUTC
2010
IEEE
15 years 10 months ago
Towards the Development of an Ubiquitous Networked Robot Systems for Ambient Assisted Living
—Robotic middlewares increasingly allow the seamless integration of multiple heterogeneous robots into one distributed system. With the inclusion of ambient intelligence and perv...
Jayedur Rashid
JAIR
2010
82views more  JAIR 2010»
15 years 5 months ago
Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints
Coalitional games serve the purpose of modeling payoff distribution problems in scenarios where agents can collaborate by forming coalitions in order to obtain higher worths than...
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, F...
FORMATS
2010
Springer
15 years 4 months ago
Expected Reachability-Time Games
In an expected reachability-time game (ERTG) two players, Min and Max, move a token along the transitions of a probabilistic timed automaton, so as to minimise and maximise, respec...
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norma...