7121 search results - page 453 / 1425 » Functions as Session-Typed Processes |
174
click to vote
JSS
2002
15 years 6 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
171
click to vote
IJCCBS
2010
15 years 5 months ago
2010
: The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, ...
205
click to vote
CEC
2010
IEEE
15 years 3 months ago
2010
IEEE
Several constraint handling techniques have been proposed to be used with the evolutionary algorithms (EAs). According to the no free lunch theorem, it is impossible for a single c...
220
click to vote
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper proposes a method to optimize Viterbi beam search based on search error risk minimization in large vocabulary continuous speech recognition (LVCSR). Most speech recogni...
223
click to vote
JAISE
2010
15 years 1 months ago
2010
Negotiation is a process in which two or more parties aim to reach a joint agreement. As such negotiation involves rational decision making about options and issues. However, negot...