9931 search results - page 1685 / 1987 » Generative Modeling by PRISM |
149
Voted
NOLISP
2005
Springer
15 years 10 months ago
2005
Springer
The difficulty of obtaining data from impostors and the scarcity of data are two factors that have a large influence in the estimation of speakerdependent thresholds in text-depend...
143
Voted
PATMOS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Modern embedded devices (e.g. PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems inclu...
155
click to vote
PCI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The advances in wireless communications along with the exponential growth of transistors per integrated circuit lead to a rapid evolution of Wireless Sensor Devices (WSDs...
119
click to vote
PCM
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose Responsive Multimedia System (RMS) for a virtual storytelling. It consists of three key components; Multi-modal Tangible User Interface (MTUI), a Unified ...
134
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...