14084 search results - page 311 / 2817 » A Theory for Game Theories |
180
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
179
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The seabed characterization from sonar images is a very hard task because of the produced data and the unknown environment, even for an human expert. In this work we propose an ori...
199
Voted
ENTCS
2006
15 years 6 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
162
click to vote
EOR
2006
15 years 6 months ago
2006
The fuzzy set is one of the powerful tools used to describe an uncertain environment. As well as quantifying any potential return and risk, portfolio liquidity is taken into accou...
189
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract—This paper presents a systematic methodology to derive and classify fast algorithms for linear transforms. The approach is based on the algebraic signal processing theor...