812 search results - page 34 / 163 » A Complete Guide to the Future |
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
— The search for free parking places is a promising application for vehicular ad hoc networks (VANETs). In order to guide drivers to a free parking place at their destination, it...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Land parcels are the foundation for many aspects of public and community life. This report presents the findings of a study of information about land parcels in New York State. It...
IUI
2005
ACM
14 years 3 months ago
2005
ACM
At the Media Lab we are developing a resource called StoryNet, a very-large database of story scripts that can be used for commonsense reasoning by computers. This paper introduce...
GRID
2004
Springer
14 years 3 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...
FM
2003
Springer
14 years 2 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...