4325 search results - page 456 / 865 » Incremental computation with names |
162
click to vote
APCSAC
2006
IEEE
16 years 28 days ago
2006
IEEE
Because the absence of hardware support, almost all of embedded operating system are based on SDRAM in past time. With progress of embedded system hardware, embedded system can pro...
163
click to vote
EDOC
2006
IEEE
16 years 28 days ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
175
click to vote
ICARCV
2006
IEEE
16 years 28 days ago
2006
IEEE
— Image alignment is a widely used technique in computer vision, and it can be applied to many areas such as image registration and region tracking. Hager and Belhumeur proposed ...
153
click to vote
ICMCS
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
178
click to vote
IV
2006
IEEE
16 years 27 days ago
2006
IEEE
We describe a novel application for sonic events namely their generation via mathematical functions implemented on a universal all purpose Java platform. Their design is driven by...