328 search results - page 33 / 66 » Adding Aspects of |
KGC
1993
Springer
13 years 11 months ago
1993
Springer
We provide a logical speci cation of set predicates ndall and bagof of Prolog. The speci cation is given in proof theoretic terms, and pertains to any SLD resolution based language...
WCNC
2010
IEEE
13 years 11 months ago
2010
IEEE
In this paper, we present our study of extracting a mobility model for vehicular ad hoc networks (VANETs) from a large amount of real taxi GPS trace data. In order to capture char...
GEOINFO
2004
13 years 9 months ago
2004
: This paper presents a model of data for mobile objects. The model is represented by spatial-temporal classes with mobility aspects, and represents the route and the trajectories ...
ACL
2003
13 years 9 months ago
2003
Pipelined Natural Language Generation (NLG) systems have grown increasingly complex as architectural modules were added to support language functionalities such as referring expre...
ECIS
2001
13 years 9 months ago
2001
The World Wide Web originally provided no security services because it was not designed to support sensitive applications. As the Web evolved to become a platform for all types of...