2152 search results - page 347 / 431 » On Automating the Calculus of Relations |
155
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
predicate abstraction Shuvendu K. Lahiri and Shaz Qadeer Microsoft Research In this paper, we investigate the asymptotic complexity of various predicate abstraction problems relati...
145
click to vote
GIS
2009
ACM
16 years 1 months ago
2009
ACM
While conventional GIS maps have long been a privileged way for the integration and diffusion of geographical information, novel forms of representation and description of urban ...
142
click to vote
SSDBM
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract. We introduce AdaptPD, an automated physical design tool that improves database performance by continuously monitoring changes in the workload and adapting the physical de...
128
click to vote
ICRA
2009
IEEE
16 years 25 days ago
2009
IEEE
— Palpation of tissue and organs during a surgical procedure provides clinicians with valuable information for diagnosis and surgical planning. In robot-assisted minimally invasi...
157
click to vote
IEEESCC
2009
IEEE
16 years 25 days ago
2009
IEEE
—Research in the field of semantic Web services aims at automating the discovery, selection, composition and management of Web services based on semantic descriptions. However, t...