10715 search results - page 1859 / 2143 » From Tests to Proofs |
188
click to vote
ECIS
2011
14 years 6 months ago
2011
Technologies that are intentionally designed to change a person’s attitude or behaviors are emergent. Designers of these technologies frequently use implementations of influence...
222
click to vote
EI
2011
14 years 6 months ago
2011
— Multi-sensor object tracking is an important feature for advanced driver assistance systems in future automobiles. Most state-of-the-art systems cannot guarantee deterministic ...
366
click to vote
Publication
The detection of bad weather conditions is crucial for meteorological centers, specially with demand for air, sea and ground traffic management. In this article, a system based on ...
183
click to vote
ASPDAC
2012
ACM
14 years 2 months ago
2012
ACM
In this paper, we examine the integration potential and explore the design space of low power thermal reliable on-chip interconnect synthesis featuring nanophotonics Wavelength Di...
213
click to vote
COMGEO
2012
ACM
14 years 2 months ago
2012
ACM
Let G be an unweighted graph of complexity n embedded in a surface of genus g, orientable or not. We describe improved algorithms to compute a shortest non-contractible and a shor...