1581 search results - page 306 / 317 » Domain semantics of possibility computations |
POPL
2003
ACM
14 years 10 months ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
CSCW
2010
ACM
14 years 6 months ago
2010
ACM
It would be useful if software engineers/instructors could be aware that remote team members/students are having difficulty with their programming tasks. We have developed an appr...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
To be agile and cost effective, data centers should allow dynamic resource allocation across large server pools. In particular, the data center network should enable any server to...
CLEF
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes the participation of MIRACLE research consortium at the ImageCLEF Photographic Retrieval task of ImageCLEF 2007. For this campaign, the main purpose of our ex...
VLDB
2005
ACM
14 years 3 months ago
2005
ACM
A significant amount of information is stored in computer systems today, but people are struggling to manage their documents such that the information is easily found. XML is a de...