Sciweavers

7628 search results - page 357 / 1526
» Spatial P systems
Sort
View
HT
2004
ACM
16 years 5 days ago
Managing conflict in multi-model adaptive hypertext
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
Luis Francisco-Revilla, Frank M. Shipman III
TASLP
2008
93views more  TASLP 2008»
15 years 6 months ago
Phantom Materialization: A Novel Method to Enhance Stereo Audio Reproduction on Headphones
Abstract-- Loudspeaker reproduction systems are subject to a compromise between spatial realism and cost. By simulating loudspeaker reproduction on headphones, the resulting spatia...
Jeroen Breebaart, Erik Schuijers
ISCI
2007
141views more  ISCI 2007»
15 years 6 months ago
A performance comparison of distance-based query algorithms using R-trees in spatial databases
Efficient processing of distance-based queries (DBQs) is of great importance in spatial databases due to the wide area of applications that may address such queries. The most repr...
Antonio Corral, Jesús Manuel Almendros-Jim&...
SSS
2009
Springer
16 years 1 months ago
A Wireless Security Framework without Shared Secrets
This paper develops a framework for wireless security that provides confidentiality, identity authentication, message authentication, integrity, sender non-repudiation, receiver n...
Lifeng Sang, Anish Arora
INFORMS
2010
110views more  INFORMS 2010»
15 years 4 months ago
Incremental Satisfiability and Implication for UTVPI Constraints
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...
Andreas Schutt, Peter J. Stuckey