3468 search results - page 460 / 694 » Solid and physical modeling |
299
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
158
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
—Bringing together heterogeneous computing devices and appliances gives rise to a spontaneous environment where resources exchange messages, such as a mobile phone telling the ca...
150
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we propose a novel semi-supervised speaker identification method that can alleviate the influence of nonstationarity such as session dependent variation, the reco...
176
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— A novel heart surface motion estimation framework for a robotic surgery on a stabilized beating heart is proposed. It includes an approach for the reconstruction and pr...
147
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...