Sciweavers

4345 search results - page 743 / 869
» Temporal Constraint Networks
Sort
View
CACM
2010
113views more  CACM 2010»
13 years 8 months ago
Reasoning about the unknown in static analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
Isil Dillig, Thomas Dillig, Alex Aiken
IJIIDS
2008
95views more  IJIIDS 2008»
13 years 7 months ago
Tightly-coupled GIS data in GNSS fix computations with integrity testing
: Global Navigation Satellite Systems (GNSS) are often used to localise a receiver with respect to a given map. This association problem, also known as map-matching, is usually add...
Clément Fouque, Philippe Bonnifait
IJMC
2006
84views more  IJMC 2006»
13 years 7 months ago
Using a genetic algorithm approach to solve the dynamic channel-assignment problem
: The Channel Assignment Problem is an NP-complete problem to assign a minimum number of channels under certain constraints to requested calls in a cellular radio system. Examples ...
Xiannong Fu, Anu G. Bourgeois, Pingzhi Fan, Yi Pan
CORR
2007
Springer
114views Education» more  CORR 2007»
13 years 7 months ago
Opportunistic Communications in an Orthogonal Multiaccess Relay Channel
— The problem of resource allocation is studied for a two-user fading orthogonal multiaccess relay channel (MARC) where both users (sources) communicate with a destination in the...
Lalitha Sankar, Yingbin Liang, H. Vincent Poor, Na...
IVC
2006
123views more  IVC 2006»
13 years 7 months ago
Multi camera image tracking
This paper presents a method for multi camera image tracking in the context of image surveillance. The approach differs from most methods in that we exploit multiple camera views ...
James Black, Tim Ellis