12193 search results - page 288 / 2439 » It's not all about |
158
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
162
click to vote
CEEMAS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...
147
click to vote
GFKL
2005
Springer
16 years 5 days ago
2005
Springer
The aim of the presented study was to find structural descriptions of melodies that influence recognition memory for melodies. 24 melodies were played twice to 42 test persons. I...
160
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
152
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we use a digital signal processor (DSP) to implement a real-time H.263+ codec. We use fast algorithms to reduce the codec computational complexity. Furthermore, the...