165 search results - page 16 / 33 » The Complexity of Guarding Terrains |
118
click to vote
HOST
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...
135
Voted
AAAI
2012
13 years 4 months ago
2012
We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and negations in their bodies. In partic...
121
click to vote
IGARSS
2009
14 years 11 months ago
2009
The Prairie Pothole Region (PPR) of the US and Canada is characterized by thousands of shallow, water-filled depressions with sizes ranging from a fraction of a hectare to several...
119
Voted
VISUALIZATION
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a system for three-dimensional visualization of complex Liquid Chromatography - Mass Spectrometry (LCMS) data. Every LCMS data point has three attributes: time, mass, a...
105
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Multicarrier transmission is an established technique for radio transmission systems and it can be considered as a promising approach for next generation wireless syste...