677 search results - page 102 / 136 » Dependent Types from Counterexamples |
EJIS
2006
14 years 10 months ago
2006
In many types of activities, communicative and material activities are so intertwined that the one cannot be understood without taking the other into account. This is true of mari...
CN
2007
14 years 10 months ago
2007
— We consider a mobile ad hoc network consisting of three types of nodes: source, destination, and relay nodes. All the nodes are moving over a bounded region with possibly diffe...
SIGIR
2008
ACM
14 years 9 months ago
2008
ACM
We examine the effect of incorporating gaze-based attention feedback from the user on personalizing the search process. Employing eye tracking data, we keep track of document part...
SQJ
2008
14 years 9 months ago
2008
Abstract. One key to several quality factors of software is the way components are connected. Software coupling can be used to estimate a number of quality factors, including maint...
100
click to vote
AUTOMATICA
2005
14 years 9 months ago
2005
It has been argued that the frequency domain accuracy of high model-order estimates obtained on the basis of closed loop data is largely invariant to whether direct or indirect ap...