10038 search results - page 1696 / 2008 » Model Checking for Managers |
183
click to vote
DKE
1998
15 years 6 months ago
1998
This paper gives an overview about the development of the field of Knowledge Engineering over the last 15 years. We discuss the paradigm shift from a transfer view to a modeling v...
151
click to vote
SOPR
1998
15 years 6 months ago
1998
Many organizations provide information technology services, either to external or internal customers. They maintain software, operate information systems, manage and maintain work...
226
click to vote
PVLDB
2008
15 years 6 months ago
2008
Uncertainty pervades many domains in our lives. Current real-life applications, e.g., location tracking using GPS devices or cell phones, multimedia feature extraction, and sensor...
183
click to vote
ATMOS
2010
15 years 5 months ago
2010
Train Routing is a problem that arises in the early phase of the passenger railway planning process, usually several months before operating the trains. The main goal is to assign...
180
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
GPS-enabled mobile devices are a quickly growing market and users are starting to share their location information with each other through services such as Google Latitude. Locati...