722 search results - page 80 / 145 » A New Framework for Computer Science and Engineering |
TCS
2010
15 years 2 days ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
173
Voted
CSCW
2012
ACM
13 years 9 months ago
2012
ACM
Users have come to rely on automated route finding services for driving, public transit, walking, and bicycling. Current state of the art route finding algorithms typically rely...
CSE
2009
IEEE
14 years 11 months ago
2009
IEEE
With 39% of Americans admitting the use of the Web to get unfiltered campaign materials, it becomes important to evaluate how they are searching for these materials and what they a...
105
click to vote
PEPM
2009
ACM
15 years 10 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
114
click to vote
AUTOMATICA
2006
15 years 1 months ago
2006
In this paper we show that the problem of optimal mine planning can be cast in the framework of receding horizon control. Traditional formulations of this problem have cast it in ...