8874 search results - page 159 / 1775 » A New Implementation of Automath |
123
click to vote
DCOSS
2009
Springer
15 years 10 months ago
2009
Springer
To meet the demands for high simulation fidelity and speed, parallel and distributed simulation techniques are widely used in building wireless sensor network simulators. However,...
130
Voted
SSDBM
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
149
click to vote
HIPC
2007
Springer
15 years 10 months ago
2007
Springer
Many real-world applications like Video-On-Demand (VOD) and Web servers require prompt responses to access requests. However, with an explosive increase of data volume and the emer...
137
Voted
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
The standardization of the IMS as a multi-access network implies that it can be accessed by different classes of terminals. Even at the heart of the same class of terminals (mobile...
121
Voted
ICAS
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper presents a novel approach for efficient tree construction in ALM (Application Layer Multicast) using layered video coding. This system is suitable for the users in h...