17680 search results - page 3459 / 3536 » Simulation of Computer Systems and Applications |
147
Voted
TPHOL
2005
IEEE
15 years 10 months 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...
148
click to vote
WIOPT
2005
IEEE
15 years 10 months 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...
179
click to vote
MM
2005
ACM
15 years 10 months 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...
177
Voted
SBCCI
2005
ACM
15 years 10 months 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...
151
Voted
SIGECOM
2005
ACM
15 years 10 months 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...