25175 search results - page 4731 / 5035 » MPEG-4 systems and applications |
186
Voted
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
182
click to vote
WIOPT
2005
IEEE
16 years 10 days ago
2005
IEEE
Loss-Free handoff in Mobile Networks is an extensive research area. Mobile IP (MIP) provided a solution to enable a mobile node to roam from one location to another while maintain...
200
click to vote
IQIS
2005
ACM
16 years 10 days ago
2005
ACM
Researchers in the data mining area frequently have to spend significant portion of their time on preprocessing the data in order to apply their algorithms to real-world datasets...
181
click to vote
MIR
2005
ACM
16 years 10 days ago
2005
ACM
Web image search has been explored and developed in academic as well as commercial areas for over a decade. To measure the similarity between Web images and user queries, most of ...
200
click to vote
MM
2005
ACM
16 years 10 days ago
2005
ACM
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...