Sciweavers

3677 search results - page 413 / 736
» Generalized Adaptive A*
Sort
View
212
Voted
ESOP
2000
Springer
15 years 11 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
182
Voted
CIKM
1995
Springer
15 years 11 months ago
Learning Subjective Relevance to Facilitate Information Access
As the amount of available electronic information is dramatically increasing, the ability for rapid and e ective access to information has become critical. Most traditional inform...
James R. Chen, Nathalie Mathe
200
Voted
ISSAC
1995
Springer
119views Mathematics» more  ISSAC 1995»
15 years 11 months ago
The Singular Value Decomposition for Polynomial Systems
This paper introduces singular value decomposition (SVD) algorithms for some standard polynomial computations, in the case where the coefficients are inexact or imperfectly known....
Robert M. Corless, Patrizia M. Gianni, Barry M. Tr...
191
Voted
SIGIR
2010
ACM
15 years 11 months ago
Spatial relationships in visual graph modeling for image categorization
In this paper, a language model adapted to graph-based representation of image content is proposed and assessed. The full indexing and retrieval processes are evaluated on two diï...
Trong-Ton Pham, Philippe Mulhem, Loïc Maisonn...
ARC
2010
Springer
128views Hardware» more  ARC 2010»
15 years 11 months ago
Reconfigurable Polyphase Filter Bank Architecture for Spectrum Sensing
Abstract. This paper presents a brief tutorial and background on implementing filter banks for spectrum sensing. It discusses the advantages of this approach over standard FFT-base...
Suhaib A. Fahmy, Linda Doyle