Sciweavers

11168 search results - page 1712 / 2234
» Abstract State Processes
Sort
View
KES
2008
Springer
15 years 4 months ago
Classification of Hyperspectral Images Compressed through 3D-JPEG2000
Abstract. Classification of hyperspectral images is paramount to an increasing number of user applications. With the advent of more powerful technology, sensed images demand for la...
Ian Blanes, Alaitz Zabala, Gerard Moré, Xav...
KI
2008
Springer
15 years 4 months ago
A Framework for Mobile Intention Recognition in Spatially Structured Environments
Abstract. Mobile intention recognition is the problem of inferring an agent's intentions from the spatio-temporal behavior she shows. We present a framework for mobile intenti...
Peter Kiefer, Klaus Stein
JSAC
2006
81views more  JSAC 2006»
15 years 4 months ago
Fast linearized energy allocation for multimedia loading on multicarrier systems
Abstract--Efficient near-optimal energy allocation for multimedia data transmission using multicarrier modulation is investigated. The optimal method typically relies on an iterati...
Michael A. Enright, C. C. Jay Kuo
JUCS
2006
131views more  JUCS 2006»
15 years 4 months ago
Verification of CRWL Programs with Rewriting Logic
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
José Miguel Cleva, Isabel Pita
SIAMSC
2008
125views more  SIAMSC 2008»
15 years 4 months ago
Hybrid Simulations of Reaction-Diffusion Systems in Porous Media
Abstract. Hybrid or multiphysics algorithms provide an efficient computational tool for combining micro- and macroscale descriptions of physical phenomena. Their use becomes impera...
Alexandre M. Tartakovsky, Daniel M. Tartakovsky, T...
« Prev « First page 1712 / 2234 Last » Next »