111 search results - page 12 / 23 » Sharing Is Caring: Combination of Theories |
103
click to vote
CIMAGING
2009
15 years 25 days ago
2009
Nonlinear image reconstruction based upon sparse representations of images has recently received widespread attention with the emerging framework of compressed sensing (CS). This ...
191
click to vote
GAMESEC
2011
13 years 11 months ago
2011
Recent smartphones incorporate embedded GPS devices that enable users to obtain geographic information about their surroundings by providing a location-based service (LBS) with the...
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
114
click to vote
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
105
click to vote
CCL
1994
Springer
15 years 3 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...