677 search results - page 60 / 136 » Dependent Types from Counterexamples |
PERCOM
2009
ACM
15 years 4 months ago
2009
ACM
—One part of the vision of ubiquitous computing is the integration of sensing and actuation nodes into everyday objects, clothes worn on the body, and in large numbers into the e...
78
Voted
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— OFDMA-based IEEE802.16 implements Adaptive Modulation and Coding (AMC) which results in a different bit rate for each user depending on its position in the cell as well as the ...
COSIT
2007
Springer
15 years 4 months ago
2007
Springer
In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street netwo...
TLCA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
IJCNN
2006
IEEE
15 years 3 months ago
2006
IEEE
— We introduce in this paper methods for finding mutually corresponding dependent components from two different but related data sets in an unsupervised (blind) manner. The basi...