585 search results - page 80 / 117 » Better Abstractions for Timed Automata |
107
Voted
ICRA
2007
IEEE
15 years 10 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...
115
click to vote
CP
2007
Springer
15 years 10 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...
146
Voted
PDCAT
2007
Springer
15 years 10 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...
129
click to vote
SPIRE
2007
Springer
15 years 10 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...
243
click to vote
VLSI
2007
Springer
15 years 10 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,...