692 search results - page 96 / 139 » Some research questions for computational transportation sci... |
STACS
2010
Springer
15 years 5 months ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
Although gender differences in a technological world are receiving significant research attention, much of the research and practice has aimed at how society and education can imp...
MOBIHOC
2000
ACM
15 years 2 months ago
2000
ACM
The rapid spreading of mobile computerized devices marks the beginning of a new computing paradigm characterized by ad hoc networking and spontaneous interaction, taking place tra...
107
click to vote
SENSYS
2010
ACM
14 years 7 months ago
2010
ACM
Many participatory sensing applications use data collected by participants to construct a public model of a system or phenomenon. For example, a health application might compute a...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Measuring the similarity between semantic relations that hold among entities is an important and necessary step in various Web related tasks such as relation extraction, informati...