256 search results - page 50 / 52 » Noetherian Spaces in Verification |
KDD
2004
ACM
14 years 8 months ago
2004
ACM
Many automated learning procedures lack interpretability, operating effectively as a black box: providing a prediction tool but no explanation of the underlying dynamics that driv...
MOBIHOC
2008
ACM
14 years 8 months ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
By equipping a mobile device with distance sensing capabilities, we aim to expand the interaction possibilities of mobile and wearable devices beyond the confines of the physical ...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
DAC
2007
ACM
14 years 10 days ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...