6274 search results - page 253 / 1255 » Proofs, Programs, Processes |
171
click to vote
KI
2010
Springer
15 years 4 months ago
2010
Springer
A robot that is to assist humans in everyday activities should not only be efficient, but also choose actions that are understandable for a person. One characteristic of human task...
186
click to vote
TCS
2011
15 years 1 months ago
2011
This paper presents a 1D intrinsically universal cellular automaton with four states for a first neighbors neighborhood, improving on the previous lower bound and getting nearer ...
150
click to vote
ISORC
2003
IEEE
15 years 11 months ago
2003
IEEE
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...
164
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Analog video digitized from noisy sources can suffer of line registration problems due to bad synchronization pulses. The effect is that the image lines are randomly shiftedwith r...
157
click to vote
TASE
2007
IEEE
16 years 24 days ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...