4418 search results - page 257 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
190
click to vote
IPCAI
2010
15 years 10 months ago
2010
Abstract. We have previously developed image-guided navigation systems for thoracic abdominal interventions utilizing a three dimensional (3D) Cone-Beam CT (CBCT) image acquired at...
174
click to vote
PPSN
1992
Springer
15 years 10 months ago
1992
Springer
This paper introduces a new optimization technique called hyperplane annealing. It is similar to the mean field annealing approach to combinatorial optimization. Both annealing te...
218
click to vote
MOBIDE
2003
ACM
15 years 12 months ago
2003
ACM
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
179
click to vote
IJCAI
2003
15 years 8 months ago
2003
Hyperlink analysis is a successful approach to define algorithms which compute the relevance of a document on the basis of the citation graph. In this paper we propose a technique...
184
click to vote
SC
2005
ACM
16 years 5 days ago
2005
ACM
The development of complex scientific applications for high-end systems is a challenging task. Addressing complexity of the involved software and algorithms is becoming increasing...