1585 search results - page 199 / 317 » A framework for computer-aided validation |
158
Voted
EDBT
2006
ACM
16 years 3 months ago
2006
ACM
We present a novel framework for comprehensive exploration of OLAP data by means of user-defined dynamic hierarchical visualizations. The multidimensional data model behind the OLA...
129
Voted
PEPM
2010
ACM
16 years 20 days ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
122
Voted
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
A guidewire is a medical device inserted into vessels during image guided interventions for balloon inflation. During interventions, the guidewire undergoes non-rigid deformation...
136
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
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...
127
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Active cannulas are remotely actuated thin continuum robots with the potential to traverse narrow and winding environments without relying on “guiding” environmenta...