4722 search results - page 339 / 945 » Encoding Program Executions |
174
click to vote
ENTCS
2007
15 years 6 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
165
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
This paper presents a system for video object generation and selective encoding with applications in surveillance, mobile videophones, and automotive industry. Object tracking and...
160
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
Implementing a custom hardware is not always feasible due to cost and time considerations. No instruction set computer (NISC) architecture is one of the promising direction to des...
180
click to vote
CBMS
2006
IEEE
16 years 25 days ago
2006
IEEE
Computer based clinical guidelines have been developed to help caregivers in practicing medicine. GLIF3 (Guideline Interchange Format 3) is one of several standards that specify t...
178
click to vote
HAIS
2010
Springer
15 years 10 months ago
2010
Springer
Mobile to mobile video conferencing is one of the services that the newest mobile network operators can offer to users. With the apparition of the distributed video coding paradigm...