9067 search results - page 1588 / 1814 » Adaptive Model Checking |
163
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Since about two decades, many works have been made in order to provide solutions to the vehicle platoon problem. The main issue related to platoon systems consists in controling t...
230
click to vote
MOBIWAC
2006
ACM
16 years 29 days ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...
202
click to vote
SMA
2006
ACM
16 years 29 days ago
2006
ACM
Sculptural reliefs are widely used in various industries for purposes such as applying brands to packaging and decorating porcelain. In order to easily apply reliefs to CAD models...
202
click to vote
MATES
2005
Springer
16 years 15 days ago
2005
Springer
Independent from specific application domains, similar requirements can be identified regarding information needs during daily work. For coping with generality on the one hand an...
222
click to vote
VLDB
2005
ACM
16 years 15 days ago
2005
ACM
Developing cost models for query optimization is significantly harder for XML queries than for traditional relational queries. The reason is that XML query operators are much mor...