3116 search results - page 41 / 624 » Positively dependent types |
142
click to vote
PERCOM
2010
ACM
14 years 4 months ago
2010
ACM
In this paper, we propose an algorithm to estimate 2D shapes and positions of obstacles such as buildings using GPS and wireless communication history of mobile nodes. Our algorith...
CHI
2001
ACM
15 years 10 months ago
2001
ACM
Increasingly, documents exist primarily in digital form. System designers have recently focused on making it easier to read digital documents, with annotation as an important new ...
ICIP
2007
IEEE
15 years 4 months ago
2007
IEEE
Spatial information is a crucial aspect of image understanding for modeling context as well as resolving the uncertainties caused by the ambiguities in low-level features. We desc...
CICLING
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...
ANOR
2007
14 years 10 months ago
2007
We consider the problem of optimal position liquidation with the aim of maximizing the expected cash flow stream from the transaction in the presence of temporary or permanent ma...