3844 search results - page 614 / 769 » Modular interpreted systems |
139
click to vote
NIME
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, I would like to introduce my experimental study of multimedia psychology. My initial focus of investigation is the interaction between perceptions of auditory and v...
157
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Healthcare organizations worldwide are faced with the growing challenge of introducing structural and technological reforms and cost-effective IT solutions that will transform the...
172
click to vote
ICDM
2003
IEEE
15 years 11 months ago
2003
IEEE
Most rule learning systems posit hard decision boundaries for continuous attributes and point estimates of rule accuracy, with no measures of variance, which may seem arbitrary to ...
175
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
158
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...