3365 search results - page 471 / 673 » Multidimensional Data Modeling for Complex Data |
135
click to vote
ESANN
2000
15 years 7 months ago
2000
Abstract. This paper describes "cranking", a new committee formation algorithm. Cranking results in accurate and reliable committee predictions, even when applied to comp...
227
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
237
click to vote
Publication
Navigation during Minimally Invasive Surgery
(MIS) has recognized difficulties due to limited field-of-view,
off-axis visualization and loss of direct 3D vision. This can cause
...
144
Voted
ICASSP
2008
IEEE
16 years 26 days ago
2008
IEEE
As spoken dialogue systems become deployed in increasingly complex domains, they face rising demands on the naturalness of interaction. We focus on system responsiveness, aiming t...
168
click to vote
COMPSAC
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...