4276 search results - page 297 / 856 » Techniques for Empirical Validation |
172
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
Our goal was to improve image guidance during minimally invasive image guided therapy by developing an intraoperative segmentation and nonrigid registration algorithm. The algorith...
170
click to vote
ECIS
2000
15 years 8 months ago
2000
Two different types of development tasks are distinguished: Clear and unclear development tasks. Based on hypotheses from organizational theory two different designs of software d...
179
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper proposes and compares four cross-lingual and bilingual automatic speech recognition techniques under the constraints of limited memory size and CPU speed. The first thr...
285
click to vote
ICDE
2000
IEEE
16 years 8 months ago
2000
IEEE
Decision-support applications in emerging environments require that SQL query results or intermediate results be shipped to clients for further analysis and presentation. These cl...
173
Voted
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...