1975 search results - page 362 / 395 » Property analysis and design understanding |
122
click to vote
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
A query optimizer compares alternative plans in its search space to find the best plan for a given query. Depending on the search space and the enumeration algorithm, optimizers v...
112
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— The exploration problem is a central issue in mobile robotics. A complete coverage is not practical if the environment is large with a few small hotspots, and the sampling cost...
119
Voted
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
139
click to vote
WICON
2008
15 years 3 months ago
2008
Abstract--There has been a great deal of attention on cooperative communication which exploits the spatial diversity among antennas belonging to multiple terminals. Most of the exi...
133
click to vote
GEOS
2007
Springer
15 years 8 months ago
2007
Springer
Spatio-temporal network is defined by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...