2152 search results - page 347 / 431 » On Automating the Calculus of Relations |
92
Voted
CADE
2009
Springer
15 years 7 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...
94
Voted
GIS
2009
ACM
15 years 7 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 ...
SSDBM
2009
IEEE
15 years 7 months 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...
80
Voted
ICRA
2009
IEEE
15 years 7 months 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...
87
Voted
IEEESCC
2009
IEEE
15 years 7 months 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...