1310 search results - page 112 / 262 » Parameterized Partial Evaluation |
161
click to vote
SIGMOD
2008
ACM
15 years 10 months ago
2008
ACM
The problem of skyline computation has attracted considerable research attention. In the categorical domain the problem becomes more complicated, primarily due to the partially-or...
134
click to vote
ITICSE
2009
ACM
15 years 4 months ago
2009
ACM
This paper describes our experiences with the first partial deployment of Presentations Automatically Organized from Lectures (PAOL), a lecture recording system developed and tes...
IROS
2006
IEEE
15 years 4 months ago
2006
IEEE
— We study how to improve sequential single-item auctions that assign targets to robots for exploration tasks such as environmental clean-up, space-exploration, and search and re...
QEST
2006
IEEE
15 years 4 months ago
2006
IEEE
We analyze the effect of a few fiber delay loops on the number of deflections in an all optical packet switch. The switch is based on the ROMEO architecture developed by Alcatel...
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...