585 search results - page 80 / 117 » Better Abstractions for Timed Automata |
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— In this paper, we propose a new approach to wireless sensor network assisted navigation while avoiding moving dangers. Our approach relies on an embedded roadmap in the...
CP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constra...
114
click to vote
PDCAT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Survivable network design has become increasingly important due to the need for reliable communication service. Its main purpose is to provide cost-efficient spare capaci...
96
Voted
SPIRE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Weighting models use lexical statistics, such as term frequencies, to derive term weights, which are used to estimate the relevance of a document to a query. Apart from t...
110
Voted
VLSI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...