360 search results - page 20 / 72 » The Origins of the Translator's Workstation |
116
click to vote
WAIM
2005
Springer
15 years 7 months ago
2005
Springer
Monitoring the real-time status of voluntary nodes is a basic task of Quality of Services (QoS) management in grid. The heterogeneity of distributed host resources is an obvious ob...
104
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
We describe a system for automatically extracting dynamics of tongue gestures from ultrasound images of the tongue using translational deep belief networks (tDBNs). In tDBNs, a jo...
111
Voted
CPP
2011
14 years 1 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
109
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
We are developing a compiler that translates ordinary MATLAB scripts into code suitable for compilation and execution on parallel computers supporting C and the MPI message-passin...
143
Voted
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...