10038 search results - page 1745 / 2008 » Model Checking for Managers |
152
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Accurate patient registration and referencing is a key element in navigated surgery. Unfortunately all existing methods are either invasive or very time consuming. In thi...
143
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
The Freebsd, gnu/Linux, Solaris, and Windows operating systems have kernels that provide comparable facilities. Interestingly, their code bases share almost no common parts, while...
155
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we propose a new approach to automatically compose data providing Web services. Our approach exploits existing mature works done in data integration systems. Specif...
178
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
The Semantic Web is based on accessing and reusing RDF data from many different sources, which one may assign different levels of authority and credibility. Existing Semantic Web ...
165
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
The aggregation and comparison of behavioral patterns on the WWW represent a tremendous opportunity for understanding past behaviors and predicting future behaviors. In this paper...