17680 search results - page 3459 / 3536 » Simulation of Computer Systems and Applications |
174
click to vote
TPHOL
2005
IEEE
16 years 5 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...
175
click to vote
WIOPT
2005
IEEE
16 years 5 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
MM
2005
ACM
16 years 4 days ago
2005
ACM
This paper presents a novel object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods, the proposed method does not require...
198
click to vote
SBCCI
2005
ACM
16 years 4 days ago
2005
ACM
Networks on chip (NoCs) draw on concepts inherited from distributed systems and computer networks subject areas to interconnect IP cores in a structured and scalable way. Congesti...
177
click to vote
SIGECOM
2005
ACM
16 years 4 days ago
2005
ACM
In a previously reported user study, we found that users were able to perform decision tradeoff tasks more efficiently and commit considerably fewer errors with the example critiq...