Sciweavers

4100 search results - page 377 / 820
» General Linear Cameras
Sort
View
STACS
2007
Springer
16 years 29 days ago
Bounded-Variable Fragments of Hybrid Logics
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
Thomas Schwentick, Volker Weber
ISCC
2006
IEEE
127views Communications» more  ISCC 2006»
16 years 27 days ago
Visualizing and Managing Network Topologies via Rectangular Dualization
Rectangular dualization is an effective, hierarchically oriented visualization method for network topologies and can be used in many other problems having in common with networks ...
Massimo Ancona, Walter Cazzola, Sara Drago, Gianlu...
177
Voted
MSWIM
2005
ACM
16 years 13 days ago
The optimal choice of encoding parameters for MPEG-4 AAC streamed over wireless networks
This paper addresses a novel linear programming based approach to optimize the choice of the encoding parameters for the MPEG-4 AAC audio codec. Current techniques solve the encod...
Claus Bauer
167
Voted
EUROCAST
2005
Springer
166views Hardware» more  EUROCAST 2005»
16 years 12 days ago
A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register-Machines
In this paper, we present a new pseudo-random sequence generator, constructed by the generalized discrete Baker transformation. This new generator is called Cascaded Baker Register...
Dominik Jochinger, Franz Pichler
ICANN
2005
Springer
16 years 11 days ago
Informational Energy Kernel for LVQ
We describe a kernel method which uses the maximization of Onicescu’s informational energy as a criteria for computing the relevances of input features. This adaptive relevance d...
Angel Cataron, Razvan Andonie