1163 search results - page 85 / 233 » Department of Redundancy Department |
137
click to vote
RC
2007
15 years 5 months ago
2007
This paper develops easily computed, tight bounds on Generalized Linear Predictors and instrumental variable estimators when outcome data are partially identi…ed. A salient exam...
142
click to vote
IJAHUC
2010
15 years 4 months ago
2010
: Mobility modelling is an essential component of wireless and mobile networking research. Our proposed Agenda Driven Mobility Model takes into consideration a person’s social ac...
145
Voted
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
—In this paper, we describe a practical realization of an Internet-of-Things (IoT) architecture at the University of Padova, Italy. Our network spans the floors of different bui...
168
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...
143
click to vote
CEFP
2009
Springer
15 years 3 months ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...