14699 search results - page 345 / 2940 » Complexity and Cognitive Computing |
191
click to vote
PODC
2006
ACM
16 years 19 days ago
2006
ACM
Coloring the nodes of a graph with a small number of colors is one of the most fundamental problems in theoretical computer science. In this paper, we study graph coloring in a di...
177
click to vote
ISCAS
2005
IEEE
16 years 8 days ago
2005
IEEE
The H.264 adopts various block types and multiple reference frames for motion compensation. For transcoding a video sequence from the H.263 format to the H.264 format, it is benef...
176
click to vote
ISORC
2006
IEEE
16 years 21 days ago
2006
IEEE
Embedded real-time systems are becoming increasingly complex due to ever increasing size and functionality so that complexity management is of growing importance, especially in de...
162
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We show that reachability and termination for lossy channel systems is exactly at level Fωω in the Fast-Growing Hierarchy of recursive functions, the first level that dominates...
183
click to vote
FCT
2007
Springer
16 years 25 days ago
2007
Springer
We show that the family of tree languages recognized by weak alternating automata is closed by three set theoretic operations that correspond to sum, multiplication by ordinals <...