998 search results - page 83 / 200 » From Feasible Proofs to Feasible Computations |
ICASSP
2011
IEEE
13 years 18 days ago
2011
IEEE
The maximization of a positive (semi)definite complex quadratic form over a finite alphabet is NP-hard and achieved through exhaustive search when the form has full rank. Howeve...
CRV
2011
IEEE
12 years 8 months ago
2011
IEEE
—We present an algorithm that finds the rotation which best aligns a given configuration of directions on an unsorted set of directions. Using a cost function that we derive in...
BMCBI
2010
13 years 9 months ago
2010
Background: Stable isotope tracing with ultra-high resolution Fourier transform-ion cyclotron resonance-mass spectrometry (FT-ICR-MS) can provide simultaneous determination of hun...
CG
1999
Springer
13 years 8 months ago
1999
Springer
Context is a key issue in interaction between human and computer, describing the surrounding facts that add meaning. In mobile computing research published the parameter location ...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—When forwarding packets in the Internet, Autonomous Systems (ASes) frequently choose the shortest path in their network to the next-hop AS in the BGP path, a strategy kn...