484 search results - page 32 / 97 » Next Generation Language Resources using GRID |
CADE
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
— A novel, practical and low-complexity multi-cell OFDMA downlink channel assignment method using a graphbased approach is proposed in this work. The inter-cell interference (ICI...
GRID
2004
Springer
14 years 1 months ago
2004
Springer
Locating resources of interest in a large resourceintensive environment is a challenging problem. In this paper we present research on addressing this problem through the developm...
UML
2004
Springer
14 years 1 months ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
NOMS
2010
IEEE
13 years 6 months ago
2010
IEEE
—Today’s mobile networks prevent users from freely accessing all available networks. Instead, seamless network composition could present a win-win situation for both users and ...