4987 search results - page 341 / 998 » Support Ordered Resolution |
139
click to vote
HICSS
1999
IEEE
15 years 9 months ago
1999
IEEE
Many transportation providers such as package delivery companies and postal service organizations face the problem of designing a transportation network in order to service their ...
149
click to vote
ISMIS
1999
Springer
15 years 9 months ago
1999
Springer
Knowledge Discovery in Databases (KDD) is a data analysis process which, in contrast to conventional data analysis, automatically generates and evaluates very many hypotheses, deal...
138
click to vote
MOBICOM
1998
ACM
15 years 9 months ago
1998
ACM
CT In order to support location-aware applications it is necessary to locate people and equipment in near real-time. To avoid unnecessary exposure of details of the underlying trac...
127
Voted
REX
1989
15 years 9 months ago
1989
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
130
click to vote
ESAW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...