9067 search results - page 1763 / 1814 » Adaptive Model Checking |
171
click to vote
DEXA
2009
Springer
16 years 16 days ago
2009
Springer
Describing relational data sources (i.e. databases) by means of ontologies constitutes the foundation of most of the semantic based approaches to data access and integration. In sp...
196
click to vote
EUROSSC
2009
Springer
16 years 16 days ago
2009
Springer
Geographical information retrieval (GIR) can benefit from context information to adapt the results to a user’s current situation and personal preferences. In this respect, seman...
179
click to vote
VRST
2009
ACM
16 years 14 days ago
2009
ACM
In Volume Rendering, it is difficult to simultaneously visualize interior and exterior structures. Several approaches have been developed to solve this problem, such as cut-away ...
173
click to vote
BMEI
2008
IEEE
16 years 13 days ago
2008
IEEE
Epicardial mapping system is an important tool for studying electrophysiological characteristics of atrial fibrillation (AF). AF is the most common arrhythmia and is becoming more...
185
click to vote
ICC
2008
IEEE
16 years 12 days ago
2008
IEEE
— Rain, snow, gaseous, cloud, fog, scintillation and other atmospheric properties can have a distorting effect on signal fidelity of Ku and Ka bands, thus resulting in excessive ...