4592 search results - page 537 / 919 » Framework for Studying Substitution |
230
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Sparse representation theory has been increasingly used in the fields of signal processing and machine learning. The standard sparse models are not invariant to spatial transform...
225
click to vote
DIAGRAMS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
227
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
188
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
We study the convergence behavior of the Active Mask (AM) framework, originally designed for segmenting punctate image patterns. AM combines the flexibility of traditional active...
210
click to vote
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into acco...