Sciweavers

5251 search results - page 837 / 1051
» A Framework for Ontology Integration
Sort
View
SIGMOD
2008
ACM
210views Database» more  SIGMOD 2008»
16 years 7 months ago
Private queries in location based services: anonymizers are not necessary
Mobile devices equipped with positioning capabilities (e.g., GPS) can ask location-dependent queries to Location Based Services (LBS). To protect privacy, the user location must n...
Gabriel Ghinita, Panos Kalnis, Ali Khoshgozaran, C...
CVPR
2009
IEEE
16 years 2 months ago
Robust guidewire tracking in fluoroscopy
A guidewire is a medical device inserted into vessels during image guided interventions for balloon inflation. During interventions, the guidewire undergoes non-rigid deformation...
Peng Wang, Terrence Chen, Ying Zhu, Wei Zhang, Sha...
PLDI
2009
ACM
16 years 2 months ago
Staged information flow for javascript
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...
Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sori...
KBSE
2007
IEEE
16 years 1 months ago
Parseweb: a programmer assistant for reusing open source code on the web
Programmers commonly reuse existing frameworks or libraries to reduce software development efforts. One common problem in reusing the existing frameworks or libraries is that the...
Suresh Thummalapenta, Tao Xie
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
16 years 18 days ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...