3388 search results - page 208 / 678 » Type-theoretic design patterns |
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Applying a sparse constraint on the beam pattern has been suggested to suppress the sidelobe level of a minimum variance distortionless response (MVDR) beamformer. In this letter, ...
199
click to vote
EJWCN
2010
15 years 1 months ago
2010
The spectrum scarcity problem emerged in recent years, due to unbalanced utilization of RF (radio frequency) bands in the current state of wireless spectrum allocations. Spectrum a...
188
click to vote
JIPS
2010
15 years 1 months ago
2010
The growing number of web applications in the global economy has made it critically important to develop secure and reliable software to support the economy's increasing depen...
242
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
139
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
Karma Chameleon refers to a series of textile prototypes woven on a Jacquard loom, using photonic bandgap fibers that have the ability to change color when illuminated with ambien...