3239 search results - page 486 / 648 » A Logical Process Calculus |
135
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Most of the current speech transmission systems are only able to deliver speech signals in a narrow frequency band. This narrowband speech is characterized by a thin and muffled ...
130
click to vote
DOCENG
2006
ACM
15 years 10 months ago
2006
ACM
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...
136
click to vote
ACSD
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
146
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
The increasing complexity and the short life cycles of embedded systems are pushing the current system-onchip designs towards a rapid increasing on the number of programmable proc...
126
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...