7557 search results - page 1392 / 1512 » Modeling Timed Concurrent Systems |
134
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...
135
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Reverberant speech can be described as sounding distant with noticeable coloration and echo. These detrimental perceptual effects are caused by early and late reflections, respec...
124
click to vote
IJCNN
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper introduces a novel design of an artificial neural network tailored for wafer-scale integration. The presented VLSI implementation includes continuous-time a...
144
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—We consider a time-slotted multipacket reception channel, shared by a finite number of mobile users who transmit to a common base station. Each user is allocated a fixed data ...
146
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...